3573 search results - page 268 / 715 » Reasoning about Codata |
129
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
145
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Many approaches to learning and teaching rely upon students working in groups. Formation of optimal groups can be a time consuming and complex task, particularly when the list of ...
123
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
119
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentati...
138
click to vote
ESOA
2006
15 years 8 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...