8555 search results - page 160 / 1711 » Property Based Coordination |
153
click to vote
JALC
2006
15 years 4 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
118
click to vote
MP
2007
15 years 3 months ago
2007
The elastic-mode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the...
139
click to vote
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
160
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
148
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects queuing performance in network buffers. A common approach for guaranteein...