| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Insup Lee Fabian Kratz , Oleg Sokolsky , George J. Pappas , Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006 : 392-406 Sebastian Fischmeister , Oleg Sokolsky , Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006 : 311-324 Madhukar Anand , Steve Vestal , Samar Dajani-Brown , Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006 : 393-399 Oleg Sokolsky , Sampath Kannan , Insup Lee: Simulation-Based Graph Similarity. TACAS 2006 : 426-440 Insup Lee, George J. Pappas , Rance Cleaveland , John Hatcliff , Bruce H. Krogh , Peter Lee , Harvey Rubin , Lui Sha : High-Confidence Medical Device Software and Systems. IEEE Computer 39 (4): 33-38 (2006) Madhukar Anand , Sebastian Fischmeister , Jesung Kim , Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005 : 210-213 Chaitanya Penubarthi , Myuhng Joo Kim , Insup Lee: Security in Sensor Networks for Medical Systems Torso Architecture. ICCSA (1) 2005 : 156-165 Insik Shin , Insup Lee: A Compositional Framework for Real-Time Embedded Systems. ISAS 2005 : 137-148 Madhukar Anand , Jesung Kim , Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005 : 166-173 Usa Sammapun , Insup Lee, Oleg Sokolsky : RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005 : 147-153 Hyoung Seok Hong , Insup Lee, Oleg Sokolsky : Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM 2005 : 25-34 Rajeev Alur , Insup Lee: Preface. ACM Trans. Embedded Comput. Syst. 4 (4): 707 (2005) Usa Sammapun , Arvind Easwaran , Insup Lee, Oleg Sokolsky : Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. Electr. Notes Theor. Comput. Sci. 113 : 123-143 (2005) John A. Stankovic , Insup Lee, Aloysius K. Mok , Raj Rajkumar : Opportunities and Obligations for Physical Computing Systems. IEEE Computer 38 (11): 23-31 (2005) Yerang Hur , Jesung Kim , Insup Lee, Jin-Young Choi : Sound Code Generation from Communicating Hybrid Models. HSCC 2004 : 432-447 Li Tan , Jesung Kim , Oleg Sokolsky , Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004 : 487-492 Li Tan , Oleg Sokolsky , Insup Lee: Specification-based Testing with Linear Temporal Logic. IRI 2004 : 493-498 Margaret DeLap , Björn Knutsson , Honghui Lu , Oleg Sokolsky , Usa Sammapun , Insup Lee, Christos Tsarouchis : Is runtime verification applicable to cheat detection? NETGAMES 2004 : 134-138 Insik Shin , Insup Lee: Compositional Real-Time Scheduling Framework. RTSS 2004 : 57-67 MoonZoo Kim , Mahesh Viswanathan , Sampath Kannan , Insup Lee, Oleg Sokolsky : Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24 (2): 129-155 (2004) Rajeev Alur , David Arney , Elsa L. Gunter , Insup Lee, Jaime Lee , Wonhong Nam , Frederick Pearce , Stephen Van Albert , Jiaxiang Zhou : Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5 (4): 308-319 (2004) Rajeev Alur , Insup Lee: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings Springer 2003 Hyoung Seok Hong , Sung Deok Cha , Insup Lee, Oleg Sokolsky , Hasan Ural : Data Flow Testing as Model Checking. ICSE 2003 : 232-243 Jesung Kim , Insup Lee: Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium 2003 : 160- Yerang Hur , Rafael B. Fierro , Insup Lee: Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. ISORC 2003 : 93-98 Rajeev Alur , Franjo Ivancic , Jesung Kim , Insup Lee, Oleg Sokolsky : Generating embedded software from hierarchical hybrid models. LCTES 2003 : 171-182 Insik Shin , Insup Lee: Periodic Resource Model for Compositional Real-Time Guarantees. RTSS 2003 : 2-13 Oleg Sokolsky , Anna Philippou , Insup Lee, Kyriakos Christou : Modeling and Analysis of Power-Aware Systems. TACAS 2003 : 409-425 Li Tan , Jesung Kim , Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89 (2): (2003) Rajeev Alur , Thao Dang , Joel M. Esposito , Yerang Hur , Franjo Ivancic , Vijay Kumar , Insup Lee, Pradyumna Mishra , George J. Pappas , Oleg Sokolsky : Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91 (1): 11-28 (2003) Insik Shin , Insup Lee, Sang Lyul Min : Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. IEEE Real-Time Systems Symposium 2002 : 201-211 Insup Lee, Anna Philippou , Oleg Sokolsky : A General Resource Framework for Real-Time Systems. RISSEF 2002 : 234-248 Yerang Hur , Insup Lee: Distributed Simulation of Multi-Agent Hybrid Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002 : 356-364 Hyoung Seok Hong , Insup Lee, Oleg Sokolsky , Hasan Ural : A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002 : 327-341 Moonjoo Kim , Sampath Kannan , Insup Lee, Oleg Sokolsky , Mahesh Viswanathan : Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. Electr. Notes Theor. Comput. Sci. 70 (4): (2002) Moonjoo Kim , Insup Lee, Usa Sammapun , Jangwoo Shin , Oleg Sokolsky : Monitoring, Checking, and Steering of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 70 (4): (2002) Rafael B. Fierro , Aveek K. Das , John R. Spletzer , Joel M. Esposito , Vijay Kumar , James P. Ostrowski , George J. Pappas , Camillo J. Taylor , Yerang Hur , Rajeev Alur , Insup Lee, Gregory Z. Grudic , Ben Southall : A Framework and Architecture for Multi-Robot Coordination. I. J. Robotic Res. 21 (10-11): 977-998 (2002) Karthikeyan Bhargavan , Carl A. Gunter , Moonjoo Kim , Insup Lee, Davor Obradovic , Oleg Sokolsky , Mahesh Viswanathan : Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28 (2): 129-145 (2002) Hee-Hwan Kwak , Insup Lee, Oleg Sokolsky : Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42 (1): 49-60 (2002) Rajeev Alur , Thao Dang , Joel M. Esposito , Rafael B. Fierro , Yerang Hur , Franjo Ivancic , Vijay Kumar , Insup Lee, Pradyumna Mishra , George J. Pappas , Oleg Sokolsky : Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001 : 14-31 Insup Lee, Jin-Young Choi , Hee-Hwan Kwak , Anna Philippou , Oleg Sokolsky : A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001 : 443-458 Rajeev Alur , Radu Grosu , Insup Lee, Oleg Sokolsky : Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001 : 33-48 Maria Adamou , Sanjeev Khanna , Insup Lee, Insik Shin , Shiyu Zhou : Fair Real-Time Traffic Scheduling over a Wireless LA. IEEE Real-Time Systems Symposium 2001 : 279-288 Jia Wang , Insup Lee: Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis. ISC 2001 : 512-535 Jitka Stríbrná , Insup Lee: Characterizing Non-Zenoness on Real-Time Processes. Electr. Notes Theor. Comput. Sci. 52 (3): (2001) Moonjoo Kim , Sampath Kannan , Insup Lee, Oleg Sokolsky , Mahesh Viswanathan : Java-MaC: a Run-time Assurance Tool for Java Programs. Electr. Notes Theor. Comput. Sci. 55 (2): (2001) Anna Philippou , Oleg Sokolsky , Insup Lee, Rance Cleaveland , Scott A. Smolka : Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80 (1): 3-13 (2001) Enver Yücesan , Yuh-Chuyn Luo , Chun-Hung Chen , Insup Lee: Distributed web-based simulation experiments for optimization. Simul. Pr. Theory 9 (1-2): 73-90 (2001) Anna Philippou , Insup Lee, Oleg Sokolsky : Weak Bisimulation for Probabilistic Systems. CONCUR 2000 : 334-349 Rajeev Alur , Radu Grosu , Yerang Hur , Vijay Kumar , Insup Lee: Modular Specification of Hybrid Systems in CHARON. HSCC 2000 : 6-19 Jin-Young Choi , Hee-Hwan Kwak , Insup Lee: A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000 : 738-742 Rajeev Alur , Aveek K. Das , Joel M. Esposito , Rafael B. Fierro , Gregory Z. Grudic , Yerang Hur , Vijay Kumar , Insup Lee, J. P. Lee , James P. Ostrowski , George J. Pappas , Ben Southall , John R. Spletzer , Camillo J. Taylor : A Framework and Architecture for Multirobot Coordination. ISER 2000 : 303-312 Insup Lee, Mike Jones , Hermann Kopetz , K. H. Kim , Thomas F. Lawrence , Bhavani M. Thuraisingham : Fundamental R&D Issues in Real-Time Distributed Computing. ISORC 2000 : 215- Karthikeyan Bhargavan , Carl A. Gunter , Moonjoo Kim , Insup Lee, Davor Obradovic , Oleg Sokolsky , Mahesh Viswanathan : Verisim: Formal analysis of network simulations. ISSTA 2000 : 2-13 Yuh-Chuyn Luo , Chun-Hung Chen , Enver Yücesan , Insup Lee: Distributed web-based simulation optimization. Winter Simulation Conference 2000 : 1785-1793 Inhye Kang , Insup Lee, Young-Si Kim : An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. 26 (5): 453-477 (2000) Insup Lee, Sampath Kannan , Moonjoo Kim , Oleg Sokolsky , Mahesh Viswanathan : Runtime Assurance Based On Formal Specifications. PDPTA 1999 : 279-287 Rajeev Alur , Joel M. Esposito , M. Kim , Vijay Kumar , Insup Lee: Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods 1999 : 212-232 Oleg Sokolsky , Insup Lee, Hanêne Ben-Abdallah : Specification and Analysis of Real-Time Systems with PARAGON. Ann. Software Eng. 7 : 211-234 (1999) Hee-Hwan Kwak , Insup Lee, Oleg Sokolsky : Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Electr. Notes Theor. Comput. Sci. 25 : (1999) Anna Philippou , Rance Cleaveland , Insup Lee, Scott A. Smolka , Oleg Sokolsky : Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998 : 389-404 Oleg Sokolsky , Mohamed F. Younis , Insup Lee, Hee-Hwan Kwak , Jeff Zhou : Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium 1998 : 220-229 Hee-Hwan Kwak , Insup Lee, Anna Philippou , Jin-Young Choi , Oleg Sokolsky : Symbolic Schedulability Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1998 : 409- Enver Yücesan , Chun-Hung Chen , Insup Lee: Web-based Simulation Experiments. Winter Simulation Conference 1998 : 1649-1654 Sanguthevar Rajasekaran , Insup Lee: Parallel Algorithms for Relational Coarsest Partition Problems. IEEE Trans. Parallel Distrib. Syst. 9 (7): 687-699 (1998) Hanêne Ben-Abdallah , Jin-Young Choi , Duncan Clarke , Young-Si Kim , Insup Lee, Hong-liang Xie : A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real-Time Systems 15 (3): 189-219 (1998) Insup Lee, Oleg Sokolsky : Analytical Design of Evolutionary Control Flow Components. HASE 1997 : 48-55 Duncan Clarke , Insup Lee: Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. IEEE Real Time Technology and Applications Symposium 1997 : 112-124 Hanêne Ben-Abdallah , Insup Lee, Young-Si Kim : Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. RE 1997 : 198-209 Patrice Brémond-Grégoire , Jin-Young Choi , Insup Lee: A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138 (2): 124-159 (1997) Patrice Brémond-Grégoire , Insup Lee: A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theor. Comput. Sci. 189 (1-2): 179-219 (1997) Duncan Clarke , Hanêne Ben-Abdallah , Insup Lee, Hong-liang Xie , Oleg Sokolsky : XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems. CAV 1996 : 402-405 Inhye Kang , Insup Lee: An Efficient State Space Generation for Analysis of Real-Time Systems. ISSTA 1996 : 4-13 Duncan Clarke , Insup Lee: Testing-Based Analysis of Real-Time System Models. ITC 1996 : 894-903 Rance Cleaveland , Insup Lee, Philip M. Lewis , Scott A. Smolka : A Theory of Testing for Soft Real-Time Processes. SEKE 1996 : 474-479 Insup Lee: Formal Verification, Testing and Checking of Real-Time Systems. ACM Comput. Surv. 28 (4es): 182 (1996) Insup Lee, Scott A. Smolka : CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings Springer 1995 Moon Lee , Noah Prywes , Insup Lee: Automation of analysis and simulation for understanding of large real-time Ada software. ICECCS 1995 : 55-58 Duncan Clarke , Insup Lee: Testing Real-Time Constraints in a Process Algebraic Setting. ICSE 1995 : 51-60 Jin-Young Choi , Insup Lee, Hong-liang Xie : The Specification and Schedulability Analysis of Real-Time Systems using ACSR. IEEE Real-Time Systems Symposium 1995 : 266-275 Hanêne Ben-Abdallah , Insup Lee, Jin-Young Choi : A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1995 : 276-287 Insup Lee, Sanguthevar Rajasekaran : A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. CAV 1994 : 404-414 Richard Gerber , Insup Lee: A Resource-Based Prioritized Bisimulation for Real-Time Systems Inf. Comput. 113 (1): 102-142 (1994) Patrice Brémond-Grégoire , Insup Lee, Richard Gerber : ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR 1993 : 417-431 Victor Fay Wolfe , Susan B. Davidson , Insup Lee: Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. ICDCS 1993 : 420-427 Insup Lee, Sanguthevar Rajasekaran : Fast Parallel Algorithms for Model Checking Using BDDs. IPPS 1993 : 444-448 Victor Fay Wolfe , Susan B. Davidson , Insup Lee: RTC: Language Support for Real-Time Concurrency. Real-Time Systems 5 (1): 63-87 (1993) Susan B. Davidson , Insup Lee, Victor Fay Wolfe : Deadlock Prevention in Concurrent Real-Time Systems. Real-Time Systems 5 (4): 305-318 (1993) Patrice Brémond-Grégoire , Susan B. Davidson , Insup Lee: CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW 1992 : 65-85 Richard Gerber , Insup Lee: A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Trans. Software Eng. 18 (9): 768-784 (1992) Richard Gerber , Insup Lee: Specification and Analysis of Resource-Bound Real-Time Systems. REX Workshop 1991 : 371-396 Richard Gerber , Elsa L. Gunter , Insup Lee: Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991 : 144-154 Susan B. Davidson , Insup Lee, Victor Fay Wolfe : Timed Atomic Commitment. IEEE Trans. Computers 40 (5): 573-583 (1991) Richard Gerber , Insup Lee: CCSR: A Calculus for Communicating Shared Resources. CONCUR 1990 : 263-277 Insup Lee, Susan B. Davidson : A Performance Analysis of Times Synchronous Communication Primitives. IEEE Trans. Computers 39 (9): 1117-1131 (1990) Richard Gerber , Insup Lee: Communicating Shared Resources: A Model for Distributed Real-Time Systems. IEEE Real-Time Systems Symposium 1989 : 68-78 Insup Lee, Robert B. King , Richard P. Paul : A Predictable Real-Time Kernel for Distributed Multisensor Systems. IEEE Computer 22 (6): 78-83 (1989) David Smitley , Insup Lee: Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks. J. Parallel Distrib. Comput. 7 (1): 178-199 (1989) Insup Lee, Amy E. Zwarico : Timed Acceptances: A Model of Time Dependent Processes. FTRTFT 1988 : 128-130 Insup Lee, David Smitley : A Synthesis Algorithm for Reconfigurable Interconnection Networks. IEEE Trans. Computers 37 (6): 691-699 (1988) Insup Lee, Susan B. Davidson : Generalized I/O with Timing Constraints. ICDCS 1987 : 316-323 Insup Lee, David Smitley : Synthesis of Topologies with Minimum Total Expansion. ICPP 1987 : 759-761 Insup Lee, Susan B. Davidson : Adding Time to Synchronous Process Communications. IEEE Trans. Computers 36 (8): 941-948 (1987) Insup Lee, Samuel M. Goldwasser , David Smitley : Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. ICPP 1986 : 394-396 Insup Lee, Susan B. Davidson : Protocols for Timed Synchronous Process Communications. IEEE Real-Time Systems Symposium 1986 : 128-135 Insup Lee, Noah S. Prywes , Boleslaw K. Szymanski : Partitioning of Massive/Real-Time Programs for Parallel Processing. Advances in Computers 25 : 215-275 (1986) Amy E. Zwarico , Insup Lee: Proving a Network of Real-Time Processes Correct. IEEE Real-Time Systems Symposium 1985 : 169-177 Insup Lee, Vijay Gehlot : Language Constructs for Distributed Real-Time Programming. IEEE Real-Time Systems Symposium 1985 : 57-66 Robert P. Cook , Insup Lee: A Contextual Analysis of Pascal Programs. Softw., Pract. Exper. 12 (2): 195-203 (1982) 1 [ 67 ] 2 [ 89 ] 3 [ 52 ] [ 58 ] [ 60 ] [ 68 ] [ 70 ] [ 73 ] [ 80 ] [ 84 ] [ 88 ] [ 89 ] [ 98 ] 4 [ 101 ] [ 104 ] [ 107 ] 5 [ 89 ] 6 [ 29 ] [ 38 ] [ 41 ] [ 44 ] [ 51 ] 7 [ 56 ] [ 72 ] 8 [ 21 ] [ 26 ] [ 39 ] [ 40 ] 9 [ 87 ] 10 [ 46 ] [ 55 ] [ 62 ] 11 [ 29 ] [ 30 ] [ 40 ] [ 44 ] [ 47 ] [ 59 ] [ 69 ] [ 95 ] 12 [ 82 ] 13 [ 31 ] [ 36 ] [ 38 ] [ 42 ] [ 44 ] 14 [ 35 ] [ 49 ] [ 63 ] [ 105 ] 15 [ 1 ] 16 [ 107 ] 17 [ 70 ] [ 80 ] 18 [ 58 ] [ 73 ] 19 [ 5 ] [ 7 ] [ 9 ] [ 15 ] [ 17 ] [ 21 ] [ 22 ] [ 23 ] [ 25 ] 20 [ 92 ] 21 [ 97 ] 22 [ 52 ] [ 58 ] [ 70 ] [ 73 ] [ 80 ] 23 [ 58 ] [ 70 ] [ 73 ] [ 85 ] 24 [ 104 ] [ 108 ] 25 [ 2 ] 26 [ 14 ] [ 16 ] [ 18 ] [ 19 ] [ 20 ] [ 26 ] [ 27 ] 27 [ 6 ] 28 [ 60 ] [ 68 ] 29 [ 58 ] [ 73 ] 30 [ 56 ] [ 72 ] 31 [ 18 ] [ 89 ] 32 [ 105 ] 33 [ 76 ] [ 87 ] [ 99 ] 34 [ 58 ] [ 60 ] [ 70 ] [ 73 ] [ 77 ] [ 80 ] [ 85 ] [ 95 ] 35 [ 70 ] [ 80 ] [ 84 ] 36 [ 57 ] 37 [ 37 ] [ 54 ] 38 [ 53 ] [ 64 ] [ 75 ] [ 90 ] [ 106 ] 39 [ 67 ] 40 [ 81 ] [ 84 ] [ 86 ] [ 94 ] [ 95 ] [ 101 ] [ 104 ] 41 [ 57 ] 42 [ 52 ] 43 [ 90 ] 44 [ 53 ] [ 56 ] [ 64 ] [ 72 ] [ 74 ] [ 75 ] 45 [ 103 ] 46 [ 41 ] [ 44 ] [ 54 ] 47 [ 13 ] 48 [ 92 ] 49 [ 57 ] 50 [ 109 ] 51 [ 105 ] 52 [ 52 ] [ 58 ] [ 60 ] [ 70 ] [ 73 ] [ 80 ] 53 [ 47 ] [ 48 ] [ 50 ] [ 59 ] [ 69 ] [ 71 ] 54 [ 57 ] 55 [ 58 ] 56 [ 89 ] 57 [ 32 ] 58 [ 105 ] 59 [ 35 ] 60 [ 92 ] 61 [ 55 ] [ 62 ] 62 [ 79 ] 63 [ 70 ] [ 80 ] 64 [ 96 ] 65 [ 89 ] 66 [ 56 ] [ 72 ] 67 [ 58 ] [ 73 ] 68 [ 58 ] [ 70 ] [ 73 ] [ 80 ] [ 105 ] [ 109 ] 69 [ 13 ] 70 [ 89 ] 71 [ 103 ] 72 [ 47 ] [ 49 ] [ 61 ] [ 63 ] [ 69 ] [ 78 ] [ 82 ] 73 [ 32 ] 74 [ 4 ] 75 [ 24 ] [ 28 ] [ 45 ] 76 [ 96 ] 77 [ 105 ] 78 [ 74 ] [ 92 ] [ 97 ] [ 100 ] 79 [ 105 ] 80 [ 67 ] [ 79 ] [ 83 ] [ 91 ] [ 102 ] 81 [ 74 ] 82 [ 6 ] [ 8 ] [ 10 ] [ 12 ] 83 [ 33 ] [ 35 ] [ 49 ] [ 63 ] 84 [ 38 ] [ 43 ] [ 47 ] [ 48 ] [ 49 ] [ 50 ] [ 51 ] [ 53 ] [ 56 ] [ 61 ] [ 63 ] [ 64 ] [ 68 ] [ 69 ] [ 70 ] [ 71 ] [ 72 ] [ 74 ] [ 75 ] [ 76 ] [ 78 ] [ 80 ] [ 82 ] [ 84 ] [ 87 ] [ 90 ] [ 92 ] [ 93 ] [ 94 ] [ 97 ] [ 99 ] [ 100 ] [ 106 ] [ 108 ] [ 109 ] 85 [ 58 ] [ 73 ] 86 [ 58 ] [ 73 ] 87 [ 96 ] 88 [ 65 ] 89 [ 4 ] 90 [ 81 ] [ 93 ] [ 94 ] 91 [ 58 ] [ 73 ] 92 [ 57 ] 93 [ 92 ] 94 [ 76 ] [ 87 ] 95 [ 107 ] 96 [ 53 ] [ 56 ] [ 64 ] [ 72 ] [ 75 ] [ 90 ] 97 [ 66 ] 98 [ 17 ] [ 22 ] [ 23 ] [ 25 ] 99 [ 30 ] [ 38 ] [ 44 ] 100 [ 48 ] 101 [ 46 ] [ 55 ] [ 62 ] 102 [ 48 ] 103 [ 89 ] 104 [ 67 ] 105 [ 3 ] [ 11 ]  ©2006 Association for Computing Machinery |
