592 search results - page 54 / 119 » Refining Goal Models by Evaluating System Behaviour |
131
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
150
Voted
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
This document describes the CLIPS experiments in the CLEF 2005 campaign. We used a surface-syntactic parser in order to extract new indexing terms. These terms are considered synta...
163
Voted
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
132
Voted
IJCAI
1993
15 years 5 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
127
Voted
PODC
1994
ACM
15 years 8 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...