5267 search results - page 737 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
160
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
Delegate MAS has been proposed and investigated as an integrated coordination technique for so-called self-organising coordination-and-control applications. Delegate MAS consist o...
205
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
162
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
183
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
193
click to vote
SASN
2005
ACM
16 years 8 days ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...