518 search results - page 67 / 104 » Automating Proofs in Category Theory |
100
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper proposes the requirements driven agent collaboration. This proposal assumes that there are plenty different service agents distributed in Internet. When a request for ...
ACMICEC
2007
ACM
15 years 3 months ago
2007
ACM
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
103
click to vote
PODC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
113
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...