1785 search results - page 14 / 357 » Modeling Communication with Synchronized Environments |
110
click to vote
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
In mobile ad hoc networks, synchronous communication mechanisms appear to be not suitable, since these assume that the involved entities are present at the same time during the in...
104
click to vote
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
An inexpensive way to construct a scalable display wall system is to use a cluster of PCs with commodity graphics accelerators to drive an array of projectors. A challenge is to b...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
“Quorum Sensing” has been identified as one of the most consequential microbiology discoveries of the last 10 years. Using Quorum Sensing bacterial colonies synchronize gene e...
WDAG
1993
Springer
15 years 1 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...