4469 search results - page 790 / 894 » A Language for Role Specifications |
160
click to vote
ARGMAS
2006
Springer
15 years 9 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...
189
click to vote
CLEF
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents the ITC-irst Multilingual Question Answering system DIOGENE. The system was used successfully on the CLEF-2003, TREC-2003, TREC-2002 and TREC-2001 QA tracks. DI...
170
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
144
Voted
COOPIS
2004
IEEE
15 years 9 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
149
Voted
COOPIS
2004
IEEE
15 years 9 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...