10038 search results - page 447 / 2008 » Model Checking for Managers |
170
click to vote
GRID
2004
Springer
16 years 12 days ago
2004
Springer
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...
146
click to vote
WSC
2008
15 years 9 months ago
2008
Managing healthcare delivery systems plays an important role for healthcare providers in order to have high quality service performances. Inpatient pharmacy delivery systems are o...
165
click to vote
IMAGING
2004
15 years 8 months ago
2004
Image-based appearance acquisition algorithms are able to generate realistic 3D models of real objects but have previously not taken care of calibrated color space. We integrate a...
182
click to vote
JCSNC
2010
15 years 1 months ago
2010
IEEE 802.16j is an emerging wireless broadband networking standard that integrates infrastructure base stations with multihop relay technology. Based on the idle mode operation in ...
181
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
Networked computing systems continue to grow in scale and in the complexity of their components and interactions. Component failures become norms instead of exceptions in these en...