5216 search results - page 498 / 1044 » Planning as Model Checking |
286
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Wireless sensor networks generate a vast amount of data. This data, however, must be sparingly extracted to conserve energy, usually the most precious resource in battery-powered ...
286
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
The current SQL standard for access control is coarse grained, in that it grants access to all rows of a table or none. Fine-grained access control, which allows control of access...
160
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...
195
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
175
click to vote
WSC
2007
15 years 9 months ago
2007
Typically, IT projects are delivered over-budget and behind schedule. In this paper, we explore the effects of common project management practices that contribute to these problem...