2. ASIAN 1996: Singapore

Joxan Jaffar, Roland H. C. Yap (Eds.): Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings. Lecture Notes in Computer Science 1179 Springer 1996, ISBN 3-540-62031-1 BibTeX

Algorithms

Frank K. H. A. Dehne, Siang W. Song: Randomized Parallel List Ranking for Distributed Memory Multiprocessors. 1-10 BibTeX
Fei Shi: Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches. 11-22 BibTeX
Heribert Vollmer: Relations Among Parallel and Sequential Computation Models. 23-32 BibTeX

Constraints and Logic Programming

Sergio Greco, Domenico Saccà: The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). 33-42 BibTeX
Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won: Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. 43-52 BibTeX
Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Affine Implication and Assumption Grammars. 53-63 BibTeX
Alexandre Tessier: Declarative Debugging in Constraint Logic Programming. 64-73 BibTeX

Distributed Systems

Taesoon Park, Sung Bok Cho, Heon Young Yeom: An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory. 74-83 BibTeX
Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen: Distributed Concurrency Control in Real-time Cooperative Editing Systems. 84-95 BibTeX
Hui Wu, Wei-Ngan Chin: Variable Timestamp-Based Distributed Deadlock Detection and Resolution. 96-105 BibTeX

Formal Systems

Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Lambda-Definable Term rewriting Systems. 106-115 BibTeX
Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian: Sets as Anti-Chains. 116-128 BibTeX
Luigi Liquori, Giuseppe Castagna: A Typed Lambda Calculus of Objects (Extended Abstract). 129-141 BibTeX
Pierre Valarcher: Intensionality versus Extensionality and Primitive Recursion. 142-151 BibTeX
Sergei G. Vorobyov: On the Bounded Theories of Finite Frees. 152-161 BibTeX

Networking and Security

Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi: Broadcasting in Star Graphs with Byzantine Failures. 162-171 BibTeX
Wen-Shenq Juang, Chin-Laung Lei: Blind Threshold Signatures Based on Discrete Logarithm. 172-181 BibTeX
Takayasu Kaida, Satoshi Uehara, Kyoki Imamura: Computation of the k-Error Linear Complexity of Binary Sequences with Period 2ⁿ. 182-191 BibTeX
Vincent Nicomette, Yves Deswarte: Symbolic Rights and Vouchers for Access Control in Distributed Object Systems. 192-203 BibTeX
Zong-Ben Xu, Bo-Ting Yang: The Heuristics for the Constrained Multicast Routing. 204-212 BibTeX
Xun Yi: On Design and Analysis of a New Block Cipher. 213-222 BibTeX

Programming and Systems

Tzilla Elrad, Baoling Sheen, Novak V. Nastasic: CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering. 223-233 BibTeX
Gabriele Keller, Martin Simons: A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. 234-243 BibTeX
Rafael Ramirez: Concurrent Object-Oriented Programming in Tempo++. 244-253 BibTeX
Olin Shivers: A Universal Scripting Framework or Lambda: The Ultimate "Little Language". 254-265 BibTeX
Markus Theißinger: Design and Application of a Light-Weight Persistency Mechanism. 266-275 BibTeX

Specification and Verification

Anca Browne, Zohar Manna, Henny Sipma: Hierarchical Verification Using Verification Diagrams. 276-286 BibTeX
Issam A. Hamid, Ferhat Khendek: A Dynamic Evolution for the Specifications of Distributed Systems. 287-298 BibTeX
Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani: Formal Verification and Evaluation of Execution Time in the Envelope Theory. 299-308 BibTeX
Rupak Majumdar, R. K. Shyamasundar: Design of Controllers for Linear Hybrid Systems. 309-320 BibTeX
Xuandong Li, Dang Van Hung: Checking Linear Duration Invariants by Linear Programming. 321-332 BibTeX

Posters

Michael Carl: Conjunctive Vector Representations for Set Valued Feature Descriptions. 333-334 BibTeX
Vijay Chandru, Suman Roy, Ramesh Subrahmanyam: Constructive Negation in Definite Constraint Logic Programs. 335-336 BibTeX
Hsin-Chu Chen, Alvin S. Lim, Nazir A. Warsi: Multilevel Master-Slave Parallel Programming Models. 337-338 BibTeX
Shaw-Cheng Chuang: Improving the X.509 Protocol for ATM Networks. 339-340 BibTeX
Chan Fang Khoon, James Seng, L.-S. Ooi, J.-K. Tan, Kevin Mok, Tin Wee Tan: InterMUD Communications (IMC) Protocol with Extensions to VRMLise MultiUser Domains (MUDs). 341-342 BibTeX
Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima: ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). 343-344 BibTeX
Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Constructing More Relevant Models. 345-346 BibTeX
Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio: Formal Analysis for Continous Systems Controlled by Programs. 347-348 BibTeX
Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya: Implementation Tuning of a Dataflow Language on a Stock Parallel Machine with Visualization Tools. 349-350 BibTeX
Arthur Li, Omran A. Bukhres: Overall System for Secure Wireless Mobile Networks. 351-352 BibTeX
Mukesh K. Mohania, Guozhu Dong: Materialized View Adaption in Distributed Databases. 353-354 BibTeX
E. Ravindran, S. C. Hui: Coupling Object Orientation & Deduction - A Modelling Perspective. 355-356 BibTeX
John Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. 357-358 BibTeX
Razvan Voicu: Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. 359-360 BibTeX

Keynote Lecture

David Harel: Some Thoughts on Statecharts, 13 Years Later (Abstract). 361 BibTeX

Invited Lectures

Jean-Chrysostome Bolot: End-to-End Behavior to the INternet: Measurements, Analysis, and Applications. 362-376 BibTeX
Gert Smolka: The Oz Programming Language and System (Abstract). 377 BibTeX
J. D. Tygar, Bennet S. Yee, Nevin Heintze: Cryptographic Postage Indicia. 378-391 BibTeX