3. ASIAN 1997: Kathmandu, Nepal

@proceedings{DBLP:conf/asian/1997,
  editor    = {R. K. Shyamasundar and
               Kazunori Ueda},
  title     = {Advances in Computing Science - ASIAN '97, Third Asian Computing
               Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1345},
  year      = {1997},
  isbn      = {3-540-63875-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Address

• Michael O. Rabin: Correctness of Programs and Protocols through Randomization (Extended Abstract). 1-3

Invited Lectures

• Nicholas Ayache: Medical Image Analysis and Simulation. 4-17
• Randal E. Bryant, Miroslav N. Velev: Verification of Pipelined Microprocessors by Comparing Memory Execution Sequences in Symbolic Simulation. 18-31

Session 1

• Stephan Merz: Rules for Abstraction. 32-45
• Robert Büssow, Wolfgang Grieskamp: Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. 46-56
• Ramaswamy Ramanujam: Rules for Trace Consistent Reasoning. 57-71

Session 2

• Sasikumar Punnekkat, Robert I. Davis, Alan Burns: Sensitivity Analysis of Real-Time Task Sets. 72-82
• Shin-Mu Tseng, Yeh-Hao Chin, Wei-Pang Yang: Dynamic Multiprocessor Scheduling for Supporting Real-Time Constraints. 83-97
• Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar: Heuristic Diff Acquiring in Lazy Release Consistency Model. 98-109

Session 3

• Tetsuya Mizutani, Shigeru Igarashi, Kohji Tomita, Masayuki Shio: Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis. 110-120
• Rattana Wetprasit, Abdul Sattar, Lina Khatib: A Generalized Framework for Reasoning with Multi-Point Events. 121-135
• Yan Georget, Philippe Codognet, Francesca Rossi: Implementing Constraint Retraction for Finite Domains. 136-150

Session 4

• Thomas Plagemann, Vera Goebel: INSTANCE: The Intermediate Storage Node Concept. 151-165
• Xuandong Li, Dang Van Hung, Tao Zheng: Checking Hybrid Automata for Linear Duration Invariants. 166-180
• Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. 181-196

Session 5

• Masateru Harao: Proof Discovery in LK System By Analogy. 197-211
• Nobuhiro Inuzuka, Hirohisa Seki, Hidenori Itoh: Efficient Induction of Executable Logic Programs from Examples. 212-224
• Baudouin Le Charlier, Christophe Leclère, Sabina Rossi, Agostino Cortesi: Automated Verification of Behavioural Properties of Prolog Programs. 225-238

Session 6

• Gérard Boudol: Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). 239-253
• Paul Roe: An Imperative Language with Read/Write Type Modes. 254-267
• Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita: Efficient Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis. 268-282

Session 7

• Ryu Hasegawa: An Analysis of Divisibility Orderings and Recursive Path Orderings. 283-296
• T. B. Dinesh, Susan M. Üsküdarli: Share-Where Maintenance in Visual Algebraic Specifications. 297-311
• Satoshi Fujita: A Fault Tolerant Broadcast Scheme in Star Graphs. 312-320

Session 8

• Ken-etsu Fujita: Calculus of Classical Proofs I. 321-335
• Richard Watson, Eric Salzman: Tracing the Evaluation of Lazy Functional Languages: A Model and its Implementation. 336-350
• Yosi Ben-Asher, Esti Stein: Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs. 351-366

Posters

• Mauri Kaipainen, Pantelis Papadopoulos, Pasi Karhu: Recurrent Oscillatory Self-organizing Map: Adapting to Complex Environmental Periodicities. 367
• Chidchanok Lursinsap, Kanchana Kanchanasut, Thit Siriboon: Basic Binary Decision Diagram Operations for Image Processing. 368-370
• Tatsuo Nakajima: Adaptive Object Storage System for Mobile Computing Environments. 371-372
• Morioka Tomohiko: Structure of User Interface Module for Practical Internet Messages. 373-374
• Mihal Badjonski, Mirjana Ivanovic, Zoran Budimac: Software Specification Using LASS. 375-376
• Eiichi Horita, Ken Mano: Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus. 377-378
• Man Lin, Jacek Malec, Simin Nadjm-Tehrani: On Semantics of Reactive Rule-Based Systems. 379-380
• Jean-Raymond Gagné, John Plaice: The Non-Standard Semantics of Esterel. 381-382
• Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya: Hybrid Support for Lenient Implementation of Array-Comprehension. 383-384
• Mouhssine Bouzoubaa: Solver for Hierarchical CSP Containing Several Constraint Types and Multi-output Constraints. 385-386