3667 search results - page 279 / 734 » Software Rejuvenation - Modeling and Analysis |
144
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
154
Voted
GI
2007
Springer
15 years 11 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
126
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
iQuest is a novel software system to improve understanding of organizational phenomena with greater precision, clarity, and granularity than has previously been possible. It permi...
127
Voted
JGS
2000
15 years 4 months ago
2000
Abstract: Some ideas are formulated on the challenges presented to GIS, spatial analysis and spatial econometrics that result from recent trends in social science research. These n...
130
click to vote
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...