3667 search results - page 382 / 734 » Software Rejuvenation - Modeling and Analysis |
143
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
186
Voted
FASE
2005
Springer
16 years 6 days ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
157
click to vote
ATAL
2004
Springer
16 years 2 days ago
2004
Springer
The Autonomous Sciencecraft Experiment (ASE), currently flying onboard the Earth Observing-1 (EO1) spacecraft, integrates several autonomy software technologies enabling autonomou...
169
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
179
click to vote
COSPS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...