10038 search results - page 1728 / 2008 » Model Checking for Managers |
146
click to vote
ESWS
2009
Springer
16 years 25 days ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...
178
click to vote
ACSAC
2007
IEEE
16 years 19 days ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
160
click to vote
CGO
2007
IEEE
16 years 19 days ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
169
click to vote
HPDC
2007
IEEE
16 years 18 days ago
2007
IEEE
The proprietary nature of existing Content Delivery Networks (CDNs) means they are closed and do not naturally cooperate, resulting in “islands” of CDNs. Finding ways for dist...
159
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
— A self-healing key distribution scheme enables a large group of users (sensor nodes) to establish a session key dynamically over an unreliable, or lossy wireless network. The m...