2638 search results - page 431 / 528 » Frameworks for Reasoning about Agent Based Systems |
181
click to vote
CGO
2009
IEEE
15 years 10 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
147
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
214
click to vote
DSOM
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
178
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
128
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...