Advances in Computing Science - ASIAN'99

Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings<br />Author: P. S. Thiagarajan, Roland Yap<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-66856-5<br /> DOI: 10.1007/3-540-46674-6<br /><br />Table of Contents:<p></p><ul><li>Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
</li><li>Emerging Application Domains and the Computing Fabric
</li><li>The Game of the Name in Cryptographic Tables
</li><li>A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs
</li><li>Rapid Prototyping Techniques for Fuzzy Controllers
</li><li>Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments
</li><li>Observable Sharing for Functional Circuit Description
</li><li>Relating May and Must Testing Semantics for Discrete Timed Process Algebras
</li><li>A Framework for Formal Reasoning about Open Distributed Systems
</li><li>Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic
</li><li>Verifying Probabilistic Programs Using a Hoare like Logic
</li><li>An Expressive Extension of TLC
</li><li>Completeness and Decidability of a Fragment of Duration Calculus with Iteration
</li><li>Logical Relations in Circuit Verification
</li><li>Lemma Generalization and Non-unit Lemma Matching for Model Elimination
</li><li>On Automating Inductive and Non-inductive Termination Methods
</li><li>Asynchronous Links in the PBC and M-Nets
</li><li>Demand-Driven Model Checking for Context-Free Processes
</li><li>Programming the Mobility Behaviour of Agents by Composing Itineraries
</li><li>Faster Model Checking for Open Systems</li></ul>