274 search results - page 7 / 55 » Variants of the Event Calculus |
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
AGENTS
2001
Springer
13 years 12 months ago
2001
Springer
FUIN
2010
13 years 4 months ago
2010
ESOP
2009
Springer
13 years 11 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
13 years 8 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...