Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings

Randomized parallel list ranking for distributed memory multiprocesors....Pages 1-10
Suffix arrays for multiple strings: A method for on-line multiple string searches....Pages 11-22
Relations among parallel and sequential computation models....Pages 23-32
The expressive power of “possible-is-certain” semantics....Pages 33-42
Using stochastic methods to guide search in CLP: A preliminary report....Pages 43-52
Backtrackable state with linear affine implication and Assumption Grammars....Pages 53-63
Declarative debugging in constraint logic programming....Pages 64-73
An improved logging and checkpointing scheme for recoverable distributed shared memory....Pages 74-83
Distributed concurrency control in real-time cooperative editing systems....Pages 84-95
Variable timestamp-based distributed deadlock detection and resolution....Pages 96-105
Lambda-definable term rewriting systems....Pages 106-115
Sets as anti-chains....Pages 116-128
A typed Lambda Calculus of Objects....Pages 129-141
Intensionality versus extensionality and Primitive Recursion....Pages 142-151
On the bounded theories of finite trees....Pages 152-161
Broadcasting in star graphs with Byzantine failures....Pages 162-171
Blind threshold signatures based on discrete logarithm....Pages 172-181
Computation of the k -error linear complexity of binary sequences with period 2 n ....Pages 182-191
Symbolic rights and vouchers for access control in distributed object systems....Pages 192-203
The heuristics for the constrained multicast routing....Pages 204-212
On design and analysis of a new block cipher....Pages 213-222
CHESSBOARD: A synergy of object-oriented concurrent programming and program layering....Pages 223-233
A calculational approach to flattening nested data parallelism in functional languages....Pages 234-243
Concurrent object-oriented programming in Tempo++....Pages 244-253
A universal scripting framework or Lambda: The ultimate “little language”....Pages 254-265
Design and application of a light-weight persistency mechanism....Pages 266-275
Hierarchical verification using verification diagrams....Pages 276-286
A dynamic evolution for the specifications of distributed systems....Pages 287-298
Formal verification and evaluation of execution time in the envelope theory....Pages 299-308
Design of controllers for linear hybrid systems....Pages 309-320
Checking linear duration invariants by linear programming....Pages 321-332
Conjunctive vector representations for set valued feature descriptions....Pages 333-334
Constructive negation in definite constraint logic programs....Pages 335-336
Multilevel master-slave parallel programming models....Pages 337-338
Improving the X.509 protocol for ATM networks....Pages 339-340
InterMUD communications (IMC) protocol with extensions to VRMLise MultiUser Domains (MUDs)....Pages 341-342
ALPS-HI: An annotated logic programming system with hypothetical implications....Pages 343-344
Constructing more relevant models....Pages 345-346
Formal analysis for continuous systems controlled by programs....Pages 347-348
Implementation tuning of a dataflow language on a stock parallel machine with visualization tools....Pages 349-350
Overall system for secure wireless mobile networks....Pages 351-352
Materialized view adaptation in distributed databases....Pages 353-354
Coupling object orientation & deduction — A modelling perspective....Pages 355-356
An integer programming-based nurse rostering system....Pages 357-358
Synthesizing parallel divide-and-conquer algorithms using the list interleave operator....Pages 359-360
Some thoughts on statecharts, 13 years later....Pages 361-361
End-to-end behavior of the internet: Measurements, analysis, and applications....Pages 362-376
The Oz programming language and system....Pages 377-377
Cryptographic postage indicia....Pages 378-391