138 search results - page 9 / 28 » An Operational Semantics for Shared Messaging Communication |
TRIDENTCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
CSMA-based MAC protocols require wireless nodes to share the transmission medium with other nodes that are within carriersensing (CS) range. Hence, operations that depend on and c...
WDAG
1989
Springer
13 years 11 months ago
1989
Springer
We focus on unreliable asynchronous shared memory model which support only atomic read and write operations. For such a model we provide a necessary condition for the solvability ...
DSS
2002
13 years 7 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
SOSP
2005
ACM
14 years 4 months ago
2005
ACM
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
DEBS
2003
ACM
14 years 18 days ago
2003
ACM
Database systems have been designed to manage business critical information and make this information accessible on request to connected clients. There is, however, an ever-increa...