2468 search results - page 301 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
155
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
119
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
131
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—In many sensor network applications, manual or well-controlled node deployment is not practical. Random deployments, e.g., from the air, often result in unevenly distributed nod...
131
click to vote
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
131
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...