6031 search results - page 170 / 1207 » Communicating Transaction Processes |
104
click to vote
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
101
click to vote
CSUR
1999
15 years 2 months ago
1999
The Informedia Experience-on-Demand system uses speech, image, and natural language processing combined with GPS information to capture, integrate, and communicate personal multim...
CSI
2008
15 years 3 months ago
2008
The rights of an Internet user acting anonymously conflicts with the rights of a Server victim identifying the malicious user. The ERPINA protocol, introduced in this paper, allow...
120
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...
243
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
The proliferation of database-driven web sites (or web-databases) has brought upon a plethora of applications where both Quality of Service (QoS) and Quality of Data (QoD) are of ...