| Invited Talks |
| Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond |
| Emerging Application Domains and the Computing Fabric / K. V. Palem |
| Regular Papers |
| The Game of the Name in Cryptographic Tables / R. M. Amadio ; S. Prasad |
| A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs / T. Calamoneri ; I. Finocchi ; Y. Manoussakis ; R. Petreschi |
| Rapid Prototyping Techniques for Fuzzy Controllers / C. Chantrapornchai ; S. Tongsima ; E. Sha |
| Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments / I. Chung ; C.-S. Hwang |
| Observable Sharing for Functional Circuit Description / K. Claessen ; D. Sands |
| Relating May and Must Testing Semantics for Discrete Timed Process Algebras / L. F. L. DÃaz ; D. de Frutos Escrig |
| A Framework for Formal Reasoning about Open Distributed Systems / a. Fredlund ; D. Gurov |
| Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic / D. Galmiche ; D. Larchey-Wendling |
| Verifying Probabilistic Programs Using a Hoare like Logic / J. I. den Hartog |
| An Expressive Extension of TLC / J. G. Henriksen |
| Completeness and Decidability of a Fragment of Duration Calculus with Iteration / D. V. Hung ; D. P. Guelev |
| Logical Relations in Circuit Verification / M. Indrika |
| Lemma Generalization and Non-unit Lemma Matching for Model Elimination / K. Iwanuma ; K. Kishino |
| On Automating Inductive and Non-inductive Termination Methods / F. Kamareddine ; F. Monin |
| Asynchronous Links in the PBC and M-Nets / H. Klaudel ; F. Pommereau |
| Demand-Driven Model Checking for Context-Free Processes / J. Knoop |
| Programming the Mobility Behaviour of Agents by Composing Itineraries / S. W. Loke ; H. Schmidt ; A. Zaslavsky |
| Faster Model Checking for Open Systems / M. Mukund ; K. N. Kumar ; S. A. Smolka |
| An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance / E. Nantajeewarawat ; V. Wuwongse |
| Entailment of Non-structural Subtype Constraints / J. Niehren ; T. Priesnitz |
| A CPS-Transform of Constructive Classical Logic / I. Ogata |
| Formal Verification of the MCS List-Based Queuing Lock / K. Ogata ; K. Futatsugi |
| BDD-Nodes Can Be More Expressive / F. Reffel |
| Formal Verification of Descriptions with Distinct Order of Memory Operations / G. Ritter ; H. Hinrichsen ; H. Eveking |
| Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs / A. Roychoudhury ; C. R. Ramakrishnan ; I. V. Ramakrishnan |
| Separators Are as Simple as Cutsets / A. Seth ; H. Shen ; K. Li ; S.-Q. Zheng |
| Ant Colony Optimization for the Ship Berthing Problem / C. J. Tong ; H. C. Lau ; A. Lim |
| Poster Session Abstracts |
| Security Modeling and Evaluation for the Mobile Code Paradigm / A. H. W. Chan ; M. R. Lyu |
| CASA - Structured Design of a Specification Language for Intelligent Agents / S. Flake ; C. Geiger |
| An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks / J.-M. Gil |
| Programming with Explicit Regions / K. Kagawa |
| A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic / M. Majster-Cederbaum ; F. Salger |
| Formal Verification of Secret Sharing Protocol Using Coq / K. M. Yew ; M. Z. Rahman ; S. P. Lee |
| Deduction in Logic of Association Rules / N. D. Quang ; J. Rauch |
| Asynchronous Migration in Parallel Genetic Programming / S. Tongchim ; P. Chongstitvatana |
| Verification Results for a Multimedia Protocol / T. Tsang ; R. Lai |
| Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks / Q. Yu ; D. B. Hoang |
| Author Index |
| Invited Talks |
| Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing / N. Halbwachs ; P. Raymond |
| Emerging Application Domains and the Computing Fabric / K. V. Palem |
図書
