10038 search results - page 1782 / 2008 » Model Checking for Managers |
143
Voted
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Energy efficiency is a fundamental issue for outdoor sensor network systems. This paper presents the design and implementation of multi-dimensional power management st...
107
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...
121
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we consider, compare and analyze three game theoretical Grid resource allocation mechanisms. Namely, 1) the non-cooperative sealed-bid method where tasks are auction...
148
click to vote
ISCC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
137
click to vote
PRDC
2006
IEEE
15 years 11 months ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...