1912 search results - page 84 / 383 » On the evaluation of argumentation formalisms |
168
click to vote
MM
2006
ACM
16 years 7 days ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
172
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
158
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
156
click to vote
FLAIRS
2007
15 years 8 months ago
2007
In attempting to address real-life decision problems, where uncertainty about input data prevails, some kind of representation of imprecise information is important and several ha...
175
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...