Sciweavers

3667 search results - page 381 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
175
Voted
IPPS
2008
IEEE
16 years 1 months ago
Scalable dynamic information flow tracking and its applications
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...
Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis J...
160
Voted
SCAM
2007
IEEE
16 years 29 days ago
Finding Inputs that Reach a Target Expression
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
Matthew Naylor, Colin Runciman
QSIC
2006
IEEE
16 years 21 days ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse
CSMR
2005
IEEE
16 years 9 days ago
Discovering Unanticipated Dependency Schemas in Class Hierarchies
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
Gabriela Arévalo, Stéphane Ducasse, ...
155
Voted
ATAL
2005
Springer
16 years 7 days ago
DEMO: the autonomous sciencecraft experiment onboard the EO-1 spacecraft
The Autonomous Sciencecraft Experiment (ASE), currently flying onboard the Earth Observing-1 (EO-1) spacecraft, integrates several autonomy software technologies enabling autonomo...
Daniel Tran, Steve A. Chien, Rob Sherwood, Rebecca...