The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

Asian Computing Science Conference (ASIAN) (asian)
1996 (conf/asian/1996)

  1. Frank K. H. A. Dehne, Siang W. Song
    Randomized Parallel List Ranking for Distributed Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:1-10 [Conf]
  2. Fei Shi
    Suffix Arrays for Multiple Strings: A Method for On-Line Multiple String Searches. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:11-22 [Conf]
  3. Heribert Vollmer
    Relations Among Parallel and Sequential Computation Models. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:23-32 [Conf]
  4. Sergio Greco, Domenico Saccà
    The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:33-42 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:43-52 [Conf]
  6. Paul Tarau, Verónica Dahl, Andrew Fall
    Backtrackable State with Linear Affine Implication and Assumption Grammars. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:53-63 [Conf]
  7. Alexandre Tessier
    Declarative Debugging in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:64-73 [Conf]
  8. Taesoon Park, Sung Bok Cho, Heon Young Yeom
    An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:74-83 [Conf]
  9. Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen
    Distributed Concurrency Control in Real-time Cooperative Editing Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:84-95 [Conf]
  10. Hui Wu, Wei-Ngan Chin
    Variable Timestamp-Based Distributed Deadlock Detection and Resolution. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:96-105 [Conf]
  11. Sugwoo Byun, Richard Kennaway, M. Ronan Sleep
    Lambda-Definable Term rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:106-115 [Conf]
  12. Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian
    Sets as Anti-Chains. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:116-128 [Conf]
  13. Luigi Liquori, Giuseppe Castagna
    A Typed Lambda Calculus of Objects (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:129-141 [Conf]
  14. Pierre Valarcher
    Intensionality versus Extensionality and Primitive Recursion. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:142-151 [Conf]
  15. Sergei G. Vorobyov
    On the Bounded Theories of Finite Frees. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:152-161 [Conf]
  16. Yukihiro Hamada, Aohan Mei, Feng Bao, Yoshihide Igarashi
    Broadcasting in Star Graphs with Byzantine Failures. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:162-171 [Conf]
  17. Wen-Shenq Juang, Chin-Laung Lei
    Blind Threshold Signatures Based on Discrete Logarithm. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:172-181 [Conf]
  18. Takayasu Kaida, Satoshi Uehara, Kyoki Imamura
    Computation of the k-Error Linear Complexity of Binary Sequences with Period 2n. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:182-191 [Conf]
  19. Vincent Nicomette, Yves Deswarte
    Symbolic Rights and Vouchers for Access Control in Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:192-203 [Conf]
  20. Zong-Ben Xu, Bo-Ting Yang
    The Heuristics for the Constrained Multicast Routing. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:204-212 [Conf]
  21. Xun Yi
    On Design and Analysis of a New Block Cipher. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:213-222 [Conf]
  22. Tzilla Elrad, Baoling Sheen, Novak V. Nastasic
    CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:223-233 [Conf]
  23. Gabriele Keller, Martin Simons
    A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:234-243 [Conf]
  24. Rafael Ramirez
    Concurrent Object-Oriented Programming in Tempo++. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:244-253 [Conf]
  25. Olin Shivers
    A Universal Scripting Framework or Lambda: The Ultimate "Little Language". [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:254-265 [Conf]
  26. Markus Theißinger
    Design and Application of a Light-Weight Persistency Mechanism. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:266-275 [Conf]
  27. Anca Browne, Zohar Manna, Henny Sipma
    Hierarchical Verification Using Verification Diagrams. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:276-286 [Conf]
  28. Issam A. Hamid, Ferhat Khendek
    A Dynamic Evolution for the Specifications of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:287-298 [Conf]
  29. Shigeru Igarashi, Masayuki Shio, Tetsuya Shirogane, Tetsuya Mizutani
    Formal Verification and Evaluation of Execution Time in the Envelope Theory. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:299-308 [Conf]
  30. Rupak Majumdar, R. K. Shyamasundar
    Design of Controllers for Linear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:309-320 [Conf]
  31. Xuandong Li, Dang Van Hung
    Checking Linear Duration Invariants by Linear Programming. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:321-332 [Conf]
  32. Michael Carl
    Conjunctive Vector Representations for Set Valued Feature Descriptions. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:333-334 [Conf]
  33. Vijay Chandru, Suman Roy, Ramesh Subrahmanyam
    Constructive Negation in Definite Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:335-336 [Conf]
  34. Hsin-Chu Chen, Alvin S. Lim, Nazir A. Warsi
    Multilevel Master-Slave Parallel Programming Models. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:337-338 [Conf]
  35. Shaw-Cheng Chuang
    Improving the X.509 Protocol for ATM Networks. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:339-340 [Conf]
  36. 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). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:341-342 [Conf]
  37. Kazuaki Goshi, Jingde Cheng, Kazuo Ushijima
    ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:343-344 [Conf]
  38. Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
    Constructing More Relevant Models. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:345-346 [Conf]
  39. Shigeru Igarashi, Tetsuya Mizutani, Tetsuya Shirogane, Masayuki Shio
    Formal Analysis for Continous Systems Controlled by Programs. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:347-348 [Conf]
  40. Shigeru Kusakabe, Kentaro Inenaga, Kiyotoshi Nishimura, Makoto Amamiya
    Implementation Tuning of a Dataflow Language on a Stock Parallel Machine with Visualization Tools. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:349-350 [Conf]
  41. Arthur Li, Omran A. Bukhres
    Overall System for Secure Wireless Mobile Networks. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:351-352 [Conf]
  42. Mukesh K. Mohania, Guozhu Dong
    Materialized View Adaption in Distributed Databases. [Citation Graph (1, 0)][DBLP]
    ASIAN, 1996, pp:353-354 [Conf]
  43. E. Ravindran, S. C. Hui
    Coupling Object Orientation & Deduction - A Modelling Perspective. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:355-356 [Conf]
  44. John Thornton, Abdul Sattar
    An Integer Programming-Based Nurse Rostering System. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:357-358 [Conf]
  45. Razvan Voicu
    Synthesizing Parallel Divide-and-Coquer Algorithms Using the List Interleave Operator. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:359-360 [Conf]
  46. David Harel
    Some Thoughts on Statecharts, 13 Years Later (Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:361- [Conf]
  47. Jean-Chrysostome Bolot
    End-to-End Behavior to the INternet: Measurements, Analysis, and Applications. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:362-376 [Conf]
  48. Gert Smolka
    The Oz Programming Language and System (Abstract). [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:377- [Conf]
  49. J. D. Tygar, Bennet S. Yee, Nevin Heintze
    Cryptographic Postage Indicia. [Citation Graph (1, 0)][DBLP]
    ASIAN, 1996, pp:378-391 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002