3908 search results - page 413 / 782 » A model for service-oriented communication systems |
187
Voted
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
191
click to vote
ELPUB
2006
ACM
16 years 1 months ago
2006
ACM
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
203
click to vote
IPPS
2003
IEEE
16 years 29 days ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...
228
click to vote
SIAMCOMP
2002
15 years 7 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
203
click to vote
JCISE
2002
15 years 7 months ago
2002
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...