274 search results - page 7 / 55 » Variants of the Event Calculus |
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
FUIN
2010
14 years 6 months ago
2010
84
Voted
ESOP
2009
Springer
15 years 1 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
WOA
2001
14 years 11 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...