909 search results - page 152 / 182 » An Immune System Approach to Scheduling in Changing Environm... |
FM
2003
Springer
15 years 2 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
JCP
2006
14 years 9 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
SOCIALCOM
2010
14 years 7 months ago
2010
We interpret "mission assurance" to mean the guarantee that Mission Essential Functionality (MEF) provided by an information system is continued despite partial failures ...
103
click to vote
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...
ISSRE
2003
IEEE
15 years 2 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...