3731 search results - page 151 / 747 » cases 2006 |
161
click to vote
AIML
2006
15 years 7 months ago
2006
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
149
click to vote
BNCOD
2006
15 years 7 months ago
2006
This paper introduces the Trust Obstacle Mitigation Model (TOMM), which uses the concept of trust assumptions to derive security obstacles, and the concept of misuse cases to model...
164
click to vote
COMMA
2006
15 years 7 months ago
2006
In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
135
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The general intractability of the constraint satisfaction problem (CSP) has motivated the study of the complexity of restricted cases of this problem. Thus far, the liter...
189
click to vote
APPML
2006
15 years 6 months ago
2006
In this work we extend results from the literature on H design with pole placement constraints to the case of generalized state space models, for both continuous-time and discrete...