166 search results - page 3 / 34 » Contracts Made Manifest |
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
AAIM
2009
Springer
14 years 4 days ago
2009
Springer
During the last years, a wide range of huge networks has been made available to researchers. The discovery of natural groups, a task called graph clustering, in such datasets is a ...
DIGRA
2005
Springer
13 years 11 months ago
2005
Springer
RPG’s (Role Playing Games) and improvisational theatre have some obvious similarities. Both require the participants to work together in real-time to construct dynamic narrative...
COOPIS
1998
IEEE
13 years 9 months ago
1998
IEEE
With the emergence of fast and standardized communication infrastructures over which separately designed agents of different organizations can interact in real-time, there is an i...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...