5. ASIAN 1999: Phuket, Thailand

P. S. Thiagarajan, Roland H. C. Yap (Eds.): Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings. Lecture Notes in Computer Science 1742 Springer 1999, ISBN 3-540-66856-X BibTeX

@proceedings{DBLP:conf/asian/1999,
  editor    = {P. S. Thiagarajan and
               Roland H. C. Yap},
  title     = {Advances in Computing Science - ASIAN'99, 5th Asian Computing
               Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1742},
  year      = {1999},
  isbn      = {3-540-66856-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Nicolas Halbwachs, Pascal Raymond:
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. 1-12
Electronic Edition (Springer LINK) BibTeX
Krishna V. Palem:
Emerging Application Domains and the Computing Fabric. 13-14
Electronic Edition (Springer LINK) BibTeX

Regular Papers

Roberto M. Amadio, Sanjiva Prasad:
The Game of the Name in Cryptographic Tables. 15-26
Electronic Edition (Springer LINK) BibTeX
Tiziana Calamoneri, Irene Finocchi, Yannis Manoussakis, Rossella Petreschi:
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. 27-36
Electronic Edition (Springer LINK) BibTeX
Chantana Chantrapornchai, Sissades Tongsima, Edwin Hsing-Mean Sha:
Rapid Prototyping Techniques for Fuzzy Controllers. 37-49
Electronic Edition (Springer LINK) BibTeX
IlYoung Chung, Chong-Sun Hwang:
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments. 50-61
Electronic Edition (Springer LINK) BibTeX
Koen Claessen, David Sands:
Observable Sharing for Functional Circuit Description. 62-73
Electronic Edition (Springer LINK) BibTeX
Luis Fernando Llana Díaz, David de Frutos-Escrig:
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. 74-86
Electronic Edition (Springer LINK) BibTeX
Lars-Åke Fredlund, Dilian Gurov:
A Framework for Formal Reasoning about Open Distributed Systems. 87-100
Electronic Edition (Springer LINK) BibTeX
Didier Galmiche, Dominique Larchey-Wendling:
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. 101-112
Electronic Edition (Springer LINK) BibTeX
Jerry den Hartog:
Verifying Probabilistic Programs Using a Hoare like Logic. 113-125
Electronic Edition (Springer LINK) BibTeX
Jesper G. Henriksen:
An Expressive Extension of TLC. 126-138
Electronic Edition (Springer LINK) BibTeX
Dang Van Hung, Dimitar P. Guelev:
Completeness and Decidability of a Fragment of Duration Calculus with Iteration. 139-150
Electronic Edition (Springer LINK) BibTeX
Mia Indrika:
Logical Relations in Circuit Verification. 151-162
Electronic Edition (Springer LINK) BibTeX
Koji Iwanuma, Kenichi Kishino:
Lemma Generalization and Non-unit Lemma Matching for Model Elimination. 163-176
Electronic Edition (Springer LINK) BibTeX
Fairouz Kamareddine, François Monin:
On Automating Inductive and Non-inductive Termination Methods. 177-189
Electronic Edition (Springer LINK) BibTeX
Hanna Klaudel, Franck Pommereau:
Asynchronous Links in the PBC and M-Nets. 190-200
Electronic Edition (Springer LINK) BibTeX
Jens Knoop:
Demand-Driven Model Checking for Context-Free Processes. 201-213
Electronic Edition (Springer LINK) BibTeX
Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky:
Programming the Mobility Behaviour of Agents by Composing Itineraries. 214-226
Electronic Edition (Springer LINK) BibTeX
Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka:
Faster Model Checking for Open Systems. 227-238
Electronic Edition (Springer LINK) BibTeX
Ekawit Nantajeewarawat, Vilas Wuwongse:
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. 239-250
Electronic Edition (Springer LINK) BibTeX
Joachim Niehren, Tim Priesnitz:
Entailment of Non-structural Subtype Constraints. 251-265
Electronic Edition (Springer LINK) BibTeX
Ichiro Ogata:
A CPS-Transform of Constructive Classical Logic. 266-280
Electronic Edition (Springer LINK) BibTeX
Kazuhiro Ogata, Kokichi Futatsugi:
Formal Verification of the MCS List-Based Queuing Lock. 281-293
Electronic Edition (Springer LINK) BibTeX
Frank Reffel:
BDD-Nodes Can Be More Expressive. 294-307
Electronic Edition (Springer LINK) BibTeX
Gerd Ritter, Holger Hinrichsen, Hans Eveking:
Formal Verification of Descriptions with Distinct Order of Memory Operations. 308-321
Electronic Edition (Springer LINK) BibTeX
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan:
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. 322-333
Electronic Edition (Springer LINK) BibTeX
Anil Seth:
On L^k(Q) Types and Boundedness of IFP(Q) on Finite Structures. 334-346
Electronic Edition (Springer LINK) BibTeX
Hong Shen, Keqin Li, Si-Qing Zheng:
Separators Are as Simple as Cutsets. 347-358
Electronic Edition (Springer LINK) BibTeX
Chia Jim Tong, Hoong Chuin Lau, Andrew Lim:
Ant Colony Optimization for the Ship Berthing Problem. 359-370
Electronic Edition (Springer LINK) BibTeX

Poster Session Abstracts

Anthony H. W. Chan, Michael R. Lyu:
Security Modeling and Evaluation for the Mobile Code Paradigm. 371-372
Electronic Edition (Springer LINK) BibTeX
Stephan Flake, Christian Geiger:
CASA - Structured Design of a Specification Language for Intelligent Agents. 373-374
Electronic Edition (Springer LINK) BibTeX
Joon-Min Gil, Chong-Sun Hwang:
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks. 375-376
Electronic Edition (Springer LINK) BibTeX
Koji Kagawa:
Programming with Explicit Regions. 377-378
Electronic Edition (Springer LINK) BibTeX
Mila E. Majster-Cederbaum, Frank Salger:
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. 379-380
Electronic Edition (Springer LINK) BibTeX
Kok Meng Yew, M. Zahidur Rahman, Sai Peck Lee:
Formal Verification of Secret Sharing Protocol Using Coq. 381-382
Electronic Edition (Springer LINK) BibTeX
Nguyen Duc Quang:
On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R²-Plane. 383-385
Electronic Edition (Springer LINK) BibTeX
Jan Rauch:
Deduction in Logic of Association Rules. 386-387
Electronic Edition (Springer LINK) BibTeX
Shisanu Tongchim, Prabhas Chongstitvatana:
Asynchronous Migration in Parallel Genetic Programming. 388-389
Electronic Edition (Springer LINK) BibTeX
Tony Tsang, Richard Lai:
Verification Results for a Multimedia Protocol. 390-392
Electronic Edition (Springer LINK) BibTeX
Qing Yu, Doan B. Hoang:
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. 393-395
Electronic Edition (Springer LINK) BibTeX