2171 search results - page 323 / 435 » Cooperative Validation in Distributed Control Systems Design |
144
Voted
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
144
click to vote
ICPADS
2010
IEEE
15 years 2 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...
153
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
While the trust paradigm is essential to broadly extend the communication between the environment’s actors, the evaluation of trust becomes a challenge when confronted with init...
145
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
132
click to vote
ICDCS
2003
IEEE
15 years 10 months ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...