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
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 Lk(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 R2-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
Copyright © Sat May 16 22:58:40 2009
by Michael Ley (ley@uni-trier.de)