Sciweavers

416 search results - page 65 / 84
» Audiences in argumentation frameworks
Sort
View
110
Voted
ICC
2007
IEEE
108views Communications» more  ICC 2007»
15 years 10 months ago
Subspace Methods for Network Resource Reservation Coding Processes
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
Alexandru Murgu
129
Voted
SOFSEM
2007
Springer
15 years 9 months ago
Automatic Testing of Object-Oriented Software
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lis...
132
Voted
ARGMAS
2005
Springer
15 years 9 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
128
Voted
ICALP
2005
Springer
15 years 9 months ago
Up-to Techniques for Weak Bisimulation
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
Damien Pous
122
Voted
ISMIS
2005
Springer
15 years 9 months ago
The Chisholm Paradox and the Situation Calculus
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Robert Demolombe, Maria del Pilar Pozos Parra