9455 search results - page 1764 / 1891 » The Modelling Language Zinc |
136
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
134
click to vote
CDB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
134
click to vote
ARGMAS
2006
Springer
15 years 8 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
125
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
130
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...