3667 search results - page 138 / 734 » Software Rejuvenation - Modeling and Analysis |
SASO
2009
IEEE
14 years 4 months ago
2009
IEEE
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
ECIS
2003
13 years 11 months ago
2003
The academic literature relating to the political issues of information systems is fairly well established. However, there are relatively few empirical studies relating to the pol...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
When programmers develop or maintain software, they instinctively sense that there are fragments of code that other developers implemented somewhere, and these code fragments coul...
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...