Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/asian/asian96.bht:"
download as .bib file
@inproceedings{DBLP:conf/asian/Bolot96,
author = {Jean{-}Chrysostome Bolot},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {End-to-End Behavior to the INternet: Measurements, Analysis, and Applications},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {362--376},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027820},
doi = {10.1007/BFB0027820},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Bolot96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/BrowneMS96,
author = {Anca Browne and
Zohar Manna and
Henny Sipma},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Hierarchical Verification Using Verification Diagrams},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {276--286},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027800},
doi = {10.1007/BFB0027800},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/BrowneMS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ByunKS96,
author = {Sugwoo Byun and
Richard Kennaway and
M. Ronan Sleep},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Lambda-Definable Term rewriting Systems},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {106--115},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027784},
doi = {10.1007/BFB0027784},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ByunKS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Carl96,
author = {Michael Carl},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Conjunctive Vector Representations for Set Valued Feature Descriptions},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {333--334},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027805},
doi = {10.1007/BFB0027805},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Carl96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ChandrRS96,
author = {Vijay Chandru and
Suman Roy and
Ramesh Subrahmanyam},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Constructive Negation in Definite Constraint Logic Programs},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {335--336},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027806},
doi = {10.1007/BFB0027806},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ChandrRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ChenLW96,
author = {Hsin{-}Chu Chen and
Alvin S. Lim and
Nazir A. Warsi},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Multilevel Master-Slave Parallel Programming Models},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {337--338},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027807},
doi = {10.1007/BFB0027807},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ChenLW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Chuang96,
author = {Shaw{-}Cheng Chuang},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Improving the {X.509} Protocol for {ATM} Networks},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {339--340},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027808},
doi = {10.1007/BFB0027808},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Chuang96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/DehneS96,
author = {Frank K. H. A. Dehne and
Siang W. Song},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Randomized Parallel List Ranking for Distributed Memory Multiprocessors},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {1--10},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027774},
doi = {10.1007/BFB0027774},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/DehneS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ElradSN96,
author = {Tzilla Elrad and
Baoling Sheen and
Novak V. Nastasic},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {{CHESSBOARD:} {A} Synergy of Object-Oriented Concurrent Programming
and Program Layering},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {223--233},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027795},
doi = {10.1007/BFB0027795},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ElradSN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GoshiCU96,
author = {Kazuaki Goshi and
Jingde Cheng and
Kazuo Ushijima},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {{ALPS-JI:} An Annotated Logic Programming System with Hypothetical
Implications (Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {343--344},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027810},
doi = {10.1007/BFB0027810},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GoshiCU96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GrecoS96,
author = {Sergio Greco and
Domenico Sacc{\`{a}}},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {The Expressive Power of "Possible-is-Certain" Semantics (Extended
Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {33--42},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027777},
doi = {10.1007/BFB0027777},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GrecoS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GunterNS96,
author = {Carl A. Gunter and
Teow{-}Hin Ngair and
Devika Subramanian},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Sets as Anti-Chains},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {116--128},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027785},
doi = {10.1007/BFB0027785},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GunterNS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/HamadaMBI96,
author = {Yukihiro Hamada and
Aohan Mei and
Feng Bao and
Yoshihide Igarashi},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Broadcasting in Star Graphs with Byzantine Failures},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {162--171},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027789},
doi = {10.1007/BFB0027789},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/HamadaMBI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/HamidK96,
author = {Issam A. Hamid and
Ferhat Khendek},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {A Dynamic Evolution for the Specifications of Distributed Systems},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {287--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027801},
doi = {10.1007/BFB0027801},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/HamidK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Harel96,
author = {David Harel},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Some Thoughts on Statecharts, 13 Years Later (Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {361},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027819},
doi = {10.1007/BFB0027819},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Harel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/HeCSSI96,
author = {Lifeng He and
Yuyan Chao and
Yuka Shimajiri and
Hirohisa Seki and
Hidenori Itoh},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Constructing More Relevant Models},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {345--346},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027811},
doi = {10.1007/BFB0027811},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/HeCSSI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/IgarashiMSS96,
author = {Shigeru Igarashi and
Tetsuya Mizutani and
Tetsuya Shirogane and
Masayuki Shio},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Formal Analysis for Continous Systems Controlled by Programs},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {347--348},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027812},
doi = {10.1007/BFB0027812},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/IgarashiMSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/IgarashiSSM96,
author = {Shigeru Igarashi and
Masayuki Shio and
Tetsuya Shirogane and
Tetsuya Mizutani},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Formal Verification and Evaluation of Execution Time in the Envelope
Theory},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {299--308},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027802},
doi = {10.1007/BFB0027802},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/IgarashiSSM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/JuangL96,
author = {Wen{-}Shenq Juang and
Chin{-}Laung Lei},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Blind Threshold Signatures Based on Discrete Logarithm},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {172--181},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027790},
doi = {10.1007/BFB0027790},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/JuangL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KaidaUI96,
author = {Takayasu Kaida and
Satoshi Uehara and
Kyoki Imamura},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Computation of the k-Error Linear Complexity of Binary Sequences with
Period 2\({}^{\mbox{n}}\)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {182--191},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027791},
doi = {10.1007/BFB0027791},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/KaidaUI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KellerS96,
author = {Gabriele Keller and
Martin Simons},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {A Calculational Approach to Flattening Nested Data Parallelism in
Functional Languages},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {234--243},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027796},
doi = {10.1007/BFB0027796},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/KellerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KhoonSOTMW96,
author = {Chan Fang Khoon and
James Seng and
L.{-}S. Ooi and
J.{-}K. Tan and
Kevin Mok and
Tin Wee Tan},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {InterMUD Communications {(IMC)} Protocol with Extensions to VRMLise
MultiUser Domains (MUDs)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {341--342},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027809},
doi = {10.1007/BFB0027809},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/KhoonSOTMW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/KusakabeINA96,
author = {Shigeru Kusakabe and
Kentaro Inenaga and
Kiyotoshi Nishimura and
Makoto Amamiya},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Implementation Tuning of a Dataflow Language on a Stock Parallel Machine
with Visualization Tools},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {349--350},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027813},
doi = {10.1007/BFB0027813},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/KusakabeINA96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/LeeLSTW96,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Peter J. Stuckey and
V. W. L. Tam and
Hon{-}Wing Won},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Using Stochastic Methods to Guide Search in {CLP:} {A} Preliminary
Report},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {43--52},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027778},
doi = {10.1007/BFB0027778},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/LeeLSTW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/LiB96,
author = {Arthur Li and
Omran A. Bukhres},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Overall System for Secure Wireless Mobile Networks},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {351--352},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027814},
doi = {10.1007/BFB0027814},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/LiB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/LiquoriC96,
author = {Luigi Liquori and
Giuseppe Castagna},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {A Typed Lambda Calculus of Objects (Extended Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {129--141},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027786},
doi = {10.1007/BFB0027786},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/LiquoriC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MajumdarS96,
author = {Rupak Majumdar and
R. K. Shyamasundar},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Design of Controllers for Linear Hybrid Systems},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {309--320},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027803},
doi = {10.1007/BFB0027803},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/MajumdarS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MohaniaD96,
author = {Mukesh K. Mohania and
Guozhu Dong},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Materialized View Adaption in Distributed Databases},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {353--354},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027815},
doi = {10.1007/BFB0027815},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/MohaniaD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/NicometteD96,
author = {Vincent Nicomette and
Yves Deswarte},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Symbolic Rights and Vouchers for Access Control in Distributed Object
Systems},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {192--203},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027792},
doi = {10.1007/BFB0027792},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/NicometteD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ParkCY96,
author = {Taesoon Park and
Sung Bok Cho and
Heon Young Yeom},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {An Improved Logging and Checkpointing Scheme for Recoverable Distributed
Shared Memory},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {74--83},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027781},
doi = {10.1007/BFB0027781},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/ParkCY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Ramirez96,
author = {Rafael Ram{\'{\i}}rez},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Concurrent Object-Oriented Programming in Tempo++},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {244--253},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027797},
doi = {10.1007/BFB0027797},
timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Ramirez96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/RavindranH96,
author = {E. Ravindran and
Siu Cheung Hui},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Coupling Object Orientation {\&} Deduction - {A} Modelling Perspective},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {355--356},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027816},
doi = {10.1007/BFB0027816},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/RavindranH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Shi96,
author = {Fei Shi},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Suffix Arrays for Multiple Strings: {A} Method for On-Line Multiple
String Searches},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {11--22},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027775},
doi = {10.1007/BFB0027775},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Shi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Shivers96,
author = {Olin Shivers},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {A Universal Scripting Framework or Lambda: The Ultimate "Little Language"},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {254--265},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027798},
doi = {10.1007/BFB0027798},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Shivers96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Smolka96,
author = {Gert Smolka},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {The Oz Programming Language and System (Abstract)},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {377},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027821},
doi = {10.1007/BFB0027821},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Smolka96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/SunYZC96,
author = {Chengzheng Sun and
Yun Yang and
Yanchun Zhang and
David Chen},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Distributed Concurrency Control in Real-time Cooperative Editing Systems},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {84--95},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027782},
doi = {10.1007/BFB0027782},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/SunYZC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TarauDF96,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Andrew Fall},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Backtrackable State with Linear Affine Implication and Assumption
Grammars},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {53--63},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027779},
doi = {10.1007/BFB0027779},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/TarauDF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Tessier96,
author = {Alexandre Tessier},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Declarative Debugging in Constraint Logic Programming},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {64--73},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027780},
doi = {10.1007/BFB0027780},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Tessier96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Theissinger96,
author = {Markus Thei{\ss}inger},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Design and Application of a Light-Weight Persistency Mechanism},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {266--275},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027799},
doi = {10.1007/BFB0027799},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Theissinger96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ThorntonS96,
author = {John Thornton and
Abdul Sattar},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {An Integer Programming-Based Nurse Rostering System},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {357--358},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027817},
doi = {10.1007/BFB0027817},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/ThorntonS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TygarYH96,
author = {J. D. Tygar and
Bennet S. Yee and
Nevin Heintze},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Cryptographic Postage Indicia},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {378--391},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027822},
doi = {10.1007/BFB0027822},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/TygarYH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Valarcher96,
author = {Pierre Valarcher},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Intensionality versus Extensionality and Primitive Recursion},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {142--151},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027787},
doi = {10.1007/BFB0027787},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Valarcher96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Voicu96,
author = {Razvan Voicu},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Synthesizing Parallel Divide-and-Coquer Algorithms Using the List
Interleave Operator},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {359--360},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027818},
doi = {10.1007/BFB0027818},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Voicu96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Vollmer96,
author = {Heribert Vollmer},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Relations Among Parallel and Sequential Computation Models},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {23--32},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027776},
doi = {10.1007/BFB0027776},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Vollmer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Vorobyov96,
author = {Sergei G. Vorobyov},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {On the Bounded Theories of Finite Frees},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {152--161},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027788},
doi = {10.1007/BFB0027788},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/Vorobyov96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/WuC96,
author = {Hui Wu and
Wei{-}Ngan Chin},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Variable Timestamp-Based Distributed Deadlock Detection and Resolution},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {96--105},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027783},
doi = {10.1007/BFB0027783},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/WuC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/XuY96,
author = {Zongben Xu and
Bo{-}Ting Yang},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {The Heuristics for the Constrained Multicast Routing},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {204--212},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027793},
doi = {10.1007/BFB0027793},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/XuY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/XuandongH96,
author = {Xuandong Li and
Dang Van Hung},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Checking Linear Duration Invariants by Linear Programming},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {321--332},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027804},
doi = {10.1007/BFB0027804},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/XuandongH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Yi96,
author = {Xun Yi},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {On Design and Analysis of a New Block Cipher},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {213--222},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027794},
doi = {10.1007/BFB0027794},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/Yi96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/1996,
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027773},
doi = {10.1007/BFB0027773},
isbn = {3-540-62031-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-01 16:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
