2637 search results - page 60 / 528 » Tool Supported Specification and Simulation of Distributed S... |
177
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
121
Voted
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Combining simulations of different scale in one application is non-trivial issue. This paper proposes solution that supports complex time interactions that can appear between elem...
124
Voted
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...
139
Voted
IJAOSE
2010
15 years 1 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
133
click to vote
WSC
2007
15 years 6 months ago
2007
Since its beginning, simulation has been used to study complex systems in order to infer on their future behavior, in this field several applications have been made using it as of...