2171 search results - page 231 / 435 » Cooperative Validation in Distributed Control Systems Design |
139
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
– This paper describes a wireless sensor network for mine safety monitoring. Based on the characteristics of underground mine gallery and the requirements for mine safety monitor...
187
click to vote
SC
2000
ACM
15 years 9 months ago
2000
ACM
This paper shows how a state-of-the-art software distributed shared-memory (DSM) protocol can be efficiently extended to tolerate single-node failures. In particular, we extend a ...
189
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...
165
click to vote
SPRINGSIM
2007
15 years 6 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
171
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...