342 search results - page 24 / 69 » Calling context abstraction with shapes |
COORDINATION
2000
Springer
15 years 4 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
115
click to vote
TACAS
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
87
Voted
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
AIMS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...
ALDT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...