2637 search results - page 60 / 528 » Tool Supported Specification and Simulation of Distributed S... |
210
click to vote
OOPSLA
2010
Springer
15 years 3 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...
148
click to vote
PPAM
2007
Springer
16 years 3 days 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...
160
click to vote
DSRT
2008
IEEE
16 years 14 days 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...
168
click to vote
IJAOSE
2010
15 years 3 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...
166
click to vote
WSC
2007
15 years 8 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...