310 search results - page 24 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
ANSOFT
1998
13 years 7 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper introduces a new architecture for face detection in color images. Based on skin locus and successive detectors, the method allows high efficiency under drastically vary...
FASE
2007
Springer
14 years 1 months ago
2007
Springer
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...