Advances in computing science–ASIAN &#039,99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings

Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings
Author: P. S. Thiagarajan, Roland Yap
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66856-5
DOI: 10.1007/3-540-46674-6

Table of Contents:

• Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
• Emerging Application Domains and the Computing Fabric
• The Game of the Name in Cryptographic Tables
• A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs
• Rapid Prototyping Techniques for Fuzzy Controllers
• Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments
• Observable Sharing for Functional Circuit Description
• Relating May and Must Testing Semantics for Discrete Timed Process Algebras
• A Framework for Formal Reasoning about Open Distributed Systems
• Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
• Verifying Probabilistic Programs Using a Hoare like Logic
• An Expressive Extension of TLC
• Completeness and Decidability of a Fragment of Duration Calculus with Iteration
• Logical Relations in Circuit Verification
• Lemma Generalization and Non-unit Lemma Matching for Model Elimination
• On Automating Inductive and Non-inductive Termination Methods
• Asynchronous Links in the PBC and M-Nets
• Demand-Driven Model Checking for Context-Free Processes
• Programming the Mobility Behaviour of Agents by Composing Itineraries
• Faster Model Checking for Open Systems

Includes bibliographical references and index