2468 search results - page 289 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
132
click to vote
TSE
2011
14 years 11 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
149
click to vote
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
110
click to vote
WSC
2001
15 years 5 months ago
2001
Multitrajectory Simulation allows random events in a simulation to generate multiple trajectories. Management techniques have been developed to manage the choices of trajectories ...
140
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
151
click to vote
ANCS
2005
ACM
15 years 9 months ago
2005
ACM
Task to resource mapping problems are encountered during (i) hardware-software co-design and (ii) performance optimization of Network Processor systems. The goal of the first pro...