default search action
5. ASIAN 1999: Phuket, Thailand
- P. S. Thiagarajan, Roland H. C. Yap:
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
Invited Talks
- Nicolas Halbwachs, Pascal Raymond:
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. 1-12 - Krishna V. Palem:
Emerging Application Domains and the Computing Fabric. 13-14
Regular Papers
- Roberto M. Amadio, Sanjiva Prasad:
The Game of the Name in Cryptographic Tables. 15-26 - Tiziana Calamoneri
, Irene Finocchi
A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs. 27-36 - Chantana Chantrapornchai, Sissades Tongsima
Rapid Prototyping Techniques for Fuzzy Controllers. 37-49 - IlYoung Chung, Chong-Sun Hwang:
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments. 50-61 - Koen Claessen, David Sands:
Observable Sharing for Functional Circuit Description. 62-73 - Luis Fernando Llana Díaz, David de Frutos-Escrig
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. 74-86 - Lars-Åke Fredlund
A Framework for Formal Reasoning about Open Distributed Systems. 87-100 - Didier Galmiche, Dominique Larchey-Wendling:
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. 101-112 - Jerry den Hartog:
Verifying Probabilistic Programs Using a Hoare like Logic. 113-125 - Jesper G. Henriksen:
An Expressive Extension of TLC. 126-138 - Dang Van Hung, Dimitar P. Guelev:
Completeness and Decidability of a Fragment of Duration Calculus with Iteration. 139-150 - Mia Indrika:
Logical Relations in Circuit Verification. 151-162 - Koji Iwanuma, Kenichi Kishino:
Lemma Generalization and Non-unit Lemma Matching for Model Elimination. 163-176 - Fairouz Kamareddine, François Monin:
On Automating Inductive and Non-inductive Termination Methods. 177-189 - Hanna Klaudel, Franck Pommereau:
Asynchronous Links in the PBC and M-Nets. 190-200 - Jens Knoop:
Demand-Driven Model Checking for Context-Free Processes. 201-213 - Seng Wai Loke, Heinz W. Schmidt, Arkady B. Zaslavsky:
Programming the Mobility Behaviour of Agents by Composing Itineraries. 214-226 - Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka:
Faster Model Checking for Open Systems. 227-238 - Ekawit Nantajeewarawat, Vilas Wuwongse:
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. 239-250 - Joachim Niehren, Tim Priesnitz:
Entailment of Non-structural Subtype Constraints. 251-265 - Ichiro Ogata:
A CPS-Transform of Constructive Classical Logic. 266-280 - Kazuhiro Ogata, Kokichi Futatsugi:
Formal Verification of the MCS List-Based Queuing Lock. 281-293 - Frank Reffel:
BDD-Nodes Can Be More Expressive. 294-307 - Gerd Ritter, Holger Hinrichsen, Hans Eveking:
Formal Verification of Descriptions with Distinct Order of Memory Operations. 308-321 - Abhik Roychoudhury
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. 322-333 - Anil Seth:
On Lk(Q) Types and Boundedness of IFP(Q) on Finite Structures. 334-346 - Hong Shen, Keqin Li, Si-Qing Zheng:
Separators Are as Simple as Cutsets. 347-358 - Chia Jim Tong, Hoong Chuin Lau, Andrew Lim
Ant Colony Optimization for the Ship Berthing Problem. 359-370
Poster Session Abstracts
- Anthony H. W. Chan, Michael R. Lyu:
Security Modeling and Evaluation for the Mobile Code Paradigm. 371-372 - Stephan Flake, Christian Geiger:
CASA - Structured Design of a Specification Language for Intelligent Agents. 373-374 - Joon-Min Gil, Chong-Sun Hwang:
An Efficient Location Management by Optimal Location Area Partitioning in PCS Networks. 375-376 - Koji Kagawa:
Programming with Explicit Regions. 377-378 - 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 - Kok Meng Yew, M. Zahidur Rahman, Sai Peck Lee
Formal Verification of Secret Sharing Protocol Using Coq. 381-382 - Duc Quang Nguyen:
On Feasibility, Boundedness, and Redundancy of Systems of Linear Constraints over R2-Plane. 383-385 - Jan Rauch:
Deduction in Logic of Association Rules. 386-387 - Shisanu Tongchim, Prabhas Chongstitvatana:
Asynchronous Migration in Parallel Genetic Programming. 388-389 - Tony Tsang, Richard Lai:
Verification Results for a Multimedia Protocol. 390-392 - Qing Yu, Doan B. Hoang:
Multipoint-to-Point ABR Service with Fair Intelligent Congestion Control in ATM Networks. 393-395
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: