Sciweavers

2527 search results - page 237 / 506
» A UML-Based Approach to System Testing
Sort
View
126
Voted
ISTA
2003
15 years 6 months ago
Formal Modeling of Communication Traces
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko,...
IJCV
2002
108views more  IJCV 2002»
15 years 4 months ago
Epipolar Geometry for Central Catadioptric Cameras
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...
Tomás Svoboda, Tomás Pajdla
153
Voted
IWPSE
2007
IEEE
15 years 11 months ago
Modification analysis support at the requirements level
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
Maryam Shiri, Jameleddine Hassine, Juergen Rilling
179
Voted
CASES
2011
ACM
14 years 4 months ago
Cost-effective safety and fault localization using distributed temporal redundancy
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
Brett H. Meyer, Benton H. Calhoun, John Lach, Kevi...
137
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
Variability Management in Software Product Line Engineering
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
Andreas Metzger, Klaus Pohl