3053 search results - page 357 / 611 » A Logic of Abstract Argumentation |
164
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
166
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
141
click to vote
DALT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
174
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...
157
click to vote
TPHOL
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...