ISBN: 3-540-66856-X
TITLE: Advances in Computing Science - ASIAN'99
AUTHOR: Thiagarajan, P.S.; Yap, Roland (Eds.)
TOC:

Invited Talks
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing 1
N. Halbwachs, P. Raymond
Emerging Application Domains and the Computing Fabric 13
K. V. Palem
Regular Papers
The Game of the Name in Cryptographic Tables 15
R. M. Amadio, S. Prasad
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs 27
T. Calamoneri, I. Finocchi, Y. Manoussakis, R. Petreschi
Rapid Prototyping Techniques for Fuzzy Controllers 37
C. Chantrapornchai, S. Tongsima, E. Sha
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments 50
I. Chung, C.-S. Hwang
Observable Sharing for Functional Circuit Description 62 K. Claessen, D. Sands
Relating May and Must Testing Semantics for Discrete Timed Process Algebras 74
L. F. L. Daz, D. de Frutos Escrig
A Framework for Formal Reasoning about Open Distributed Systems 87
L.. Fredlund, D. Gurov
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic 101
D. Galmiche, D. Larchey-Wendling
Verifying Probabilistic Programs Using a Hoare like Logic 113
J. I. den Hartog
An Expressive Extension of TLC 126
J. G. Henriksen
Completeness and Decidability of a Fragment of Duration Calculus with Iteration 139
D. V. Hung, D. P. Guelev
Logical Relations in Circuit Verification 151
M. Indrika
Lemma Generalization and Non-unit Lemma Matching for Model Elimination 163
K. Iwanuma, K. Kishino
On Automating Inductive and Non-inductive Termination Methods 177
F. Kamareddine, F. Monin
Asynchronous Links in the PBC and M-Nets 190
H. Klaudel, F. Pommereau
Demand-Driven Model Checking for Context-Free Processes 201
J. Knoop
Programming the Mobility Behaviour of Agents by Composing Itineraries 214
S. W. Loke, H. Schmidt, A. Zaslavsky
Faster Model Checking for Open Systems 227
M. Mukund, K. N. Kumar, S. A. Smolka
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance 239
E. Nantajeewarawat, V. Wuwongse
Entailment of Non-structural Subtype Constraints 251 
J. Niehren, T. Priesnitz
A CPS-Transform of Constructive Classical Logic 266
I. Ogata
Formal Verification of the MCS List-Based Queuing Lock 281
K. Ogata, K. Futatsugi
BDD-Nodes Can Be More Expressive 294
F. Reffel
Formal Verification of Descriptions with Distinct Order of Memory Operations 308
G. Ritter, H. Hinrichsen, H. Eveking
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs 322
A. Roychoudhury, K. N. Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
On L^k(Q) Types and Boundedness of IF P (Q) on Finite Structures 334
A. Seth
Separators Are as Simple as Cutsets 347
H. Shen, K. Li, S.-Q. Zheng
Ant Colony Optimization for the Ship Berthing Problem 359
C. J. Tong, H. C. Lau, A. Lim
Poster Session Abstracts
Security Modeling and Evaluation for the Mobile Code Paradigm 371
A. H. W. Chan, M. R. Lyu
CASA - Structured Design of a Specification Language for Intelligent Agents 373
S. Flake, C. Geiger
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks 375
J.-M. Gil, C.-S. Hwang
Programming with Explicit Regions 377
K. Kagawa
A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic 379
M. Majster-Cederbaum, F. Salger
Formal Verification of Secret Sharing Protocol Using Coq 381
K. M. Yew, M. Z. Rahman, S. P. Lee
On Feasibility, Boundedness and Redundancy of Systems of Linear Constraints over R^2-Plane 383
N. D. Quang
Deduction in Logic of Association Rules 386
J. Rauch
Asynchronous Migration in Parallel Genetic Programming 388
S. Tongchim, P. Chongstitvatana
Verification Results for a Multimedia Protocol 390
T. Tsang, R. Lai
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks 393
Q. Yu, D. B. Hoang
Author Index 397
END
