2171 search results - page 337 / 435 » Cooperative Validation in Distributed Control Systems Design |
144
click to vote
ICDCS
2010
IEEE
15 years 8 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...
150
click to vote
ACMICEC
2008
ACM
15 years 6 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...
135
Voted
SASO
2008
IEEE
15 years 11 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 ...
166
click to vote
COOPIS
2003
IEEE
15 years 9 months 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...
134
click to vote
COORDINATION
2006
Springer
15 years 8 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...