Sciweavers

BIRTHDAY
2004
Springer
14 years 2 months ago
Molecular Tiling and DNA Self-assembly
Alessandra Carbone, Nadrian C. Seeman
BIRTHDAY
2004
Springer
14 years 2 months ago
Mathematical Proofs at a Crossroad?
Cristian Calude, Solomon Marcus
BIRTHDAY
2004
Springer
14 years 2 months ago
A Trace Semantics for Long-Running Transactions
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
Michael J. Butler, C. A. R. Hoare, Carla Ferreira
BIRTHDAY
2004
Springer
14 years 2 months ago
Duality for Three: Ternary Symmetry in Process Spaces
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
Janusz A. Brzozowski, Radu Negulescu
BIRTHDAY
2004
Springer
14 years 2 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
BIRTHDAY
2004
Springer
14 years 2 months ago
Balance Machines: Computing = Balancing
Joshua J. Arulanandham, Cristian Calude, Michael J...
BIRTHDAY
2004
Springer
14 years 2 months ago
Writing Information into DNA
The time is approaching when information can be written into DNA. This tutorial work surveys the methods for designing code words using DNA, and proposes a simple code that avoids ...
Masanori Arita
AWCC
2004
Springer
14 years 2 months ago
Semantic Based Web Services Discovery
Jianjun Xu, Qian Zhu, Juan-Zi Li, Jie Tang, Po Zha...
AWCC
2004
Springer
14 years 2 months ago
Fuzzy Logic-Based Image Retrieval
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...
Xiaoling Wang, Kanglin Xie