This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.
The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.
Author(s): Nicolas Halbwachs, Pascal Raymond (auth.), P. S. Thiagarajan, Roland Yap (eds.)
Series: Lecture Notes in Computer Science 1742
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 408
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Communication Networks; Special Purpose and Application-Based Systems; Programming Languages, Compilers, Interpreters
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing....Pages 1-12
Emerging Application Domains and the Computing Fabric....Pages 13-14
The Game of the Name in Cryptographic Tables....Pages 15-26
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs....Pages 27-36
Rapid Prototyping Techniques for Fuzzy Controllers....Pages 37-49
Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments....Pages 50-61
Observable Sharing for Functional Circuit Description....Pages 62-73
Relating May and Must Testing Semantics for Discrete Timed Process Algebras....Pages 74-86
A Framework for Formal Reasoning about Open Distributed Systems....Pages 87-100
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic....Pages 101-112
Verifying Probabilistic Programs Using a Hoare like Logic....Pages 113-125
An Expressive Extension of TLC....Pages 126-138
Completeness and Decidability of a Fragment of Duration Calculus with Iteration....Pages 139-150
Logical Relations in Circuit Verification....Pages 151-162
Lemma Generalization and Non-unit Lemma Matching for Model Elimination....Pages 163-176
On Automating Inductive and Non-inductive Termination Methods....Pages 177-189
Asynchronous Links in the PBC and M-Nets....Pages 190-200
Demand-Driven Model Checking for Context-Free Processes....Pages 201-213
Programming the Mobility Behaviour of Agents by Composing Itineraries....Pages 214-226
Faster Model Checking for Open Systems....Pages 227-238
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance....Pages 239-250
Entailment of Non-structural Subtype Constraints....Pages 251-265
A CPS-Transform of Constructive Classical Logic....Pages 266-280
Formal Verification of the MCS List-Based Queuing Lock....Pages 281-293
BDD-Nodes Can Be More Expressive....Pages 294-307
Formal Verification of Descriptions with Distinct Order of Memory Operations....Pages 308-321
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs....Pages 322-333
On L k ( Q ) Types and Boundedness of IFP(Q) on Finite Structures....Pages 334-346
Separators Are as Simple as Cutsets....Pages 347-358
Ant Colony Optimization for the Ship Berthing Problem....Pages 359-370
Security Modeling and Evaluation for the Mobile Code Paradigm....Pages 371-372
CASA - Structured Design of a Specification Language for Intelligent Agents....Pages 373-374
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks....Pages 375-376
Programming with Explicit Regions....Pages 377-378
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic....Pages 379-380
Formal Verification of Secret Sharing Protocol Using Coq....Pages 381-382
On Feasibility, Boundedness and Redundancy of Systems of Linear Constraints over R 2 -Plane....Pages 383-385
Deduction in Logic of Association Rules....Pages 386-387
Asynchronous Migration in Parallel Genetic Programming....Pages 388-389
Verification Results for a Multimedia Protocol....Pages 390-392
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks....Pages 393-395
