5608 search results - page 790 / 1122 » Structure description tools |
170
click to vote
ECSQARU
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
158
click to vote
ER
2007
Springer
16 years 25 days ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
157
click to vote
FORMATS
2007
Springer
16 years 25 days ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
137
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
175
click to vote
VIZSEC
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...