274 search results - page 7 / 55 » Variants of the Event Calculus |
129
Voted
CONCUR
2007
Springer
16 years 1 days ago
2007
Springer
161
click to vote
ESOP
2009
Springer
15 years 9 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...
167
click to vote
WOA
2001
15 years 7 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...