Abstract is missing.
- Correctness of Programs and Protocols through Randomization (Extended Abstract)Michael O. Rabin. 1-3
- Medical Image Analysis and SimulationNicholas Ayache. 4-17
- Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic SimulationRandal E. Bryant, Miroslav N. Velev. 18-31
- Rules for AbstractionStephan Merz. 32-45
- Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded SystemsRobert Büssow, Wolfgang Grieskamp. 46-56
- Rules for Trace Consistent ReasoningRamaswamy Ramanujam. 57-71
- Sensitivity Analysis of Real-Time Task SetsSasikumar Punnekkat, Robert I. Davis, Alan Burns. 72-82
- Dynamic Multiprocessor Scheduling for Supporting Real-Time ConstraintsShin-Mu Tseng, Yeh-Hao Chin, Wei-Pang Yang. 83-97
- Heuristic Diff Acquiring in Lazy Release Consistency ModelZhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar. 98-109
- Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal AnalysisTetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio. 110-120
- A Generalized Framework for Reasoning with Multi-Point EventsRattana Wetprasit, Abdul Sattar, Lina Khatib. 121-135
- Implementing Constraint Retraction for Finite DomainsYan Georget, Philippe Codognet, Francesca Rossi. 136-150
- INSTANCE: The Intermediate Storage Node ConceptThomas Plagemann, Vera Goebel. 151-165
- Checking Hybrid Automata for Linear Duration InvariantsXuandong Li, Dang Van Hung, Tao Zheng. 166-180
- Hierarchical Automata as Model for StatechartsErich Mikk, Yassine Lakhnech, Michael Siegel. 181-196
- Proof Discovery in LK System By AnalogyMasateru Harao. 197-211
- Efficient Induction of Executable Logic Programs from ExamplesNobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh. 212-224
- Automated Verification of Behavioural Properties of Prolog ProgramsBaudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi. 225-238
- Typing the Use of Resources in a Concurrent Calculus (Extended Abstract)Gérard Boudol. 239-253
- An Imperative Language with Read/Write Type ModesPaul Roe. 254-267
- Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency AnalysisKazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita. 268-282
- An Analysis of Divisibility Orderings and Recursive Path OrderingsRyu Hasegawa. 283-296
- Share-Where Maintenance in Visual Algebraic SpecificationsT. B. Dinesh, Susan M. Üsküdarli. 297-311
- A Fault Tolerant Broadcast Scheme in Star GraphsSatoshi Fujita. 312-320
- Calculus of Classical Proofs IKen-etsu Fujita. 321-335
- Tracing the Evaluation of Lazy Functional Languages: A Model and its ImplementationRichard Watson, Eric Salzman. 336-350
- Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential ProgramsYosi Ben-Asher, Esti Stein. 351-366
- Recurrent Oscillatory Self-organizing Map: Adapting to Complex Environmental PeriodicitiesMauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu. 367
- Basic Binary Decision Diagram Operations for Image ProcessingChidchanok Lursinsap, Kanchana Kanchanasut, Thit Siriboon. 368-370
- Adaptive Object Storage System for Mobile Computing EnvironmentsTatsuo Nakajima. 371-372
- Structure of User Interface Module for Practical Internet MessagesMorioka Tomohiko. 373-374
- Software Specification Using LASSMihal Badjonski, Mirjana Ivanovic, Zoran Budimac. 375-376
- Nepi²: A Two-Level Calculus for Network Programming Based on the pi-CalculusEiichi Horita, Ken Mano. 377-378
- On Semantics of Reactive Rule-Based SystemsMan Lin, Jacek Malec, Simin Nadjm-Tehrani. 379-380
- The Non-Standard Semantics of EsterelJean-Raymond Gagné, John Plaice. 381-382
- Hybrid Support for Lenient Implementation of Array-ComprehensionShigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya. 383-384
- Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output ConstraintsMouhssine Bouzoubaa. 385-386