Sciweavers

1929 search results - page 28 / 386
» Change Propagation Analysis Using Domain Information
Sort
View
85
Voted
CAISE
2004
Springer
15 years 5 months ago
Impact Analysis for Supporting the Co-Evolution of Business Processes and Supporting Software Systems
The co-evolution of business processes and supporting software systems is needed for keeping them aligned and it requires managerial and technological effort for adequately plannin...
Thierry Bodhuin, Raffaele Esposito, Cristina Pacel...
ECCV
2006
Springer
16 years 1 months ago
Gait Recognition Using a View Transformation Model in the Frequency Domain
Gait analyses have recently gained attention as methods of identification of individuals at a distance from a camera. However, appearance changes due to view direction changes caus...
Yasushi Makihara, Ryusuke Sagawa, Yasuhiro Mukaiga...
FASE
2007
Springer
15 years 6 months ago
An Approach to Software Evolution Based on Semantic Change
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
Romain Robbes, Michele Lanza, Mircea Lungu
LPAR
2001
Springer
15 years 4 months ago
Boolean Functions for Finite-Tree Dependencies
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Pa...
SAS
2007
Springer
15 years 5 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula