2171 search results - page 25 / 435 » Cooperative Validation in Distributed Control Systems Design |
169
click to vote
ML
1998
ACM
15 years 3 months ago
1998
ACM
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
132
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
146
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
172
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— The problem of non-cooperative power control is studied for wireless ad hoc networks supporting data services. We develop a maximum throughput based non-cooperative power contr...
132
click to vote
SIGOPSE
1998
ACM
15 years 8 months ago
1998
ACM
Companies cooperating in the framework of a virtual enterprise have increasing demands for systems on which to base applications for their particular environment: groups of worker...