10038 search results - page 492 / 2008 » Model Checking for Managers |
171
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
230
click to vote
ICSOC
2004
Springer
16 years 13 days ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
209
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...
172
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
210
click to vote
TMC
2011
15 years 2 months ago
2011
We consider the problem of optimal channel access to provide quality of service (QoS) for data transmission in cognitive vehicular networks. In such a network the vehicular nodes ...