Sciweavers

3828 search results - page 566 / 766
» Proof-Based System Engineering Using a Virtual System Model
Sort
View
ISSRE
2010
IEEE
15 years 4 months ago
A Large-Scale Industrial Case Study on Architecture-Based Software Reliability Analysis
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
Heiko Koziolek, Bastian Schlich, Carlos G. Bilich
ECSA
2011
Springer
14 years 6 months ago
Architecture-Based Run-Time Fault Diagnosis
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
Paulo Casanova, Bradley R. Schmerl, David Garlan, ...
ESEM
2007
ACM
15 years 8 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
165
Voted
ECIS
2000
15 years 7 months ago
Katsir: A Framework for Harvesting Digital Libraries on the Web
Abstract-The information era has brought with it the wellknown problem of 'Information Explosion'. There are many and varied search engines on the Internet but it is stil...
Uri Hanani, Ariel J. Frank
ICPR
2006
IEEE
16 years 7 months ago
Recognizing Rotated Faces from Two Orthogonal Views in Mugshot Databases
Tolerance to pose variations is one of the key remaining problems in face recognition. It is of great interest in airport surveillance systems using mugshot databases to screen tr...
Xiaozheng Zhang, Yongsheng Gao, Bailing Zhang