2661 search results - page 384 / 533 » Model Checking Performability Properties |
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— The optimal deployment of sinks in a sensor region for power efficient data gathering of a physical phenomenon is investigated in this work. In the system of consideration, no...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
—Previous studies of receive diversity have carefully modeled the impact of spatial correlation and antenna coupling on the signal component at the receiver. By contrast, relativ...
CIA
2007
Springer
14 years 4 months ago
2007
Springer
We introduce the Consensual N-Player Prisoner’s Dilemma as a large-scale dilemma. We then present a framework for cooperative consensus formation in large-scale MAS under the N-P...
ISAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
MATES
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...