3914 search results - page 343 / 783 » Automating SLA modeling |
176
click to vote
KI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
198
click to vote
SASN
2003
ACM
16 years 10 hour ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
173
click to vote
AI
2003
Springer
16 years 47 min ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
193
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
229
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...