2171 search results - page 337 / 435 » Cooperative Validation in Distributed Control Systems Design |
185
Voted
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—The adoption of portable wireless devices is rapidly rising. The demand for efficient communication protocols amongst these devices is pressing. In this paper, we present a con...
192
click to vote
ACMICEC
2008
ACM
15 years 8 months ago
2008
ACM
This paper focuses on the problem of how to allow sharing of copyrighted content between a set of authorised devices and preventing unauthoried copying of content to other devices...
174
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Many real–world networks show a scale–free degree distribution, a structure that is known to be very stable in case of random failures. Unfortunately, the very same structure ...
218
click to vote
COOPIS
2003
IEEE
16 years 1 days ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
171
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...