2637 search results - page 165 / 528 » Tool Supported Specification and Simulation of Distributed S... |
130
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
120
Voted
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
121
Voted
ENTCS
2007
15 years 4 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
161
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
161
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...