3914 search results - page 290 / 783 » Automating SLA modeling |
119
Voted
CAV
2004
Springer
15 years 8 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
112
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
123
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
83
Voted
IEAAIE
1999
Springer
15 years 6 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
114
click to vote
FSKD
2006
Springer
15 years 6 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...