488 search results - page 69 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
ICLP
1989
Springer
15 years 7 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
154
click to vote
SIGSOFT
2002
ACM
16 years 3 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
122
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
The paper describes a model-based approach to developing a general tool for localizing faults in applications of data warehouse technology. A model of the application is configured...
133
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
152
click to vote
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We propose a new method for face recognition under arbitrary pose and illumination conditions, which requires only one training image per subject. Furthermore, no limitat...