640 search results - page 119 / 128 » Discovering State Invariants |
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
—In service-oriented architectures, participants keep interacting by exchanging tasks, in order to increase their benefit. Since carrying out a task incurs costs, and participan...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
88
Voted
SSDBM
2006
IEEE
15 years 3 months ago
2006
IEEE
Signaling pathways are chains of interacting proteins, through which the cell converts a (usually) extracellular signal into a biological response. The number of known signaling p...
99
Voted
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
81
Voted
SISW
2005
IEEE
15 years 3 months ago
2005
IEEE
Protecting sensitive files from a compromised system helps administrator to thwart many attacks, discover intrusion trails, and fast restore the system to a safe state. However, ...