4350 search results - page 156 / 870 » Case studies for contract-based systems |
148
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
Stability of linear systems with uncertain bounded time-varying delays is studied under the assumption that the nominal delay values are not equal to zero. An input-output approac...
139
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
149
click to vote
ICCBR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
117
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
The Use Case Map (UCM) scenario notation has some strong features related to rapid capture and evaluation of requirements models. In this paper, we explain how a UCM model was deve...
169
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...