Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Advances in Computing Science - ASIAN'99

5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. P. S. Thiagarajan

    1. Chennai Mathematical Institute, Chennai, India

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roland Yap

    1. School of Computing, National University of Singapore, Singapore

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1742)

Included in the following conference series:

Conference proceedings info: ASIAN 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (41 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  3. Regular Papers

    1. The Game of the Name in Cryptographic Tables

      • Roberto M. Amadio, Sanjiva Prasad
      Pages 15-26

    2. A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs

      • T. Calamoneri, I. Finocchi, R. Petreschi, Y. Manoussakis
      Pages 27-36

    3. Rapid Prototyping Techniques for Fuzzy Controllers

      • Chantana Chantrapornchai, Sissades Tongsima, Edwin Sha
      Pages 37-49

    4. Transactional Cache Management with A periodic Invalidation Scheme in Mobile Environments

      • IlYoung Chung, Chong-Sun Hwang
      Pages 50-61

    5. Observable Sharing for Functional Circuit Description

      • Koen Claessen, David Sands
      Pages 62-73

    6. Relating May and Must Testing Semantics for Discrete Timed Process Algebras

      • Luis Fernando Llana Díaz, David de Frutos Escrig
      Pages 74-86

    7. A Framework for Formal Reasoning about Open Distributed Systems

      • Lars-åke Fredlund, Dilian Gurov
      Pages 87-100

    8. Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic

      • Didier Galmiche, Dominique Larchey-Wendling
      Pages 101-112

    9. Verifying Probabilistic Programs Using a Hoare like Logic

      • J. I. den Hartog
      Pages 113-125

    10. An Expressive Extension of TLC

      • Jesper Gulmann Henriksen
      Pages 126-138

    11. Completeness and Decidability of a Fragment of Duration Calculus with Iteration

      • Dang Van Hung, Dimitar P. Guelev
      Pages 139-150

    12. Logical Relations in Circuit Verification

      • Mia Indrika
      Pages 151-162

    13. Lemma Generalization and Non-unit Lemma Matching for Model Elimination

      • Koji Iwanuma, Kenichi Kishino
      Pages 163-176

    14. On Automating Inductive and Non-inductive Termination Methods

      • Fairouz Kamareddine, François Monin
      Pages 177-189

    15. Asynchronous Links in the PBC and M-Nets

      • Hanna Klaudel, Franck Pommereau
      Pages 190-200

    16. Demand-Driven Model Checking for Context-Free Processes

      • Jens Knoop
      Pages 201-213

    17. Programming the Mobility Behaviour of Agents by Composing Itineraries

      • Seng Wai Loke, Heinz Schmidt, Arkady Zaslavsky
      Pages 214-226
Back to top

Other volumes

  1. Advances in Computing Science — ASIAN’99

Keywords

Editors and Affiliations

  • Chennai Mathematical Institute, Chennai, India

    P. S. Thiagarajan

  • School of Computing, National University of Singapore, Singapore

    Roland Yap

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation