285 search results - page 52 / 57 » On Specifying Contract Negotiations |
ERLANG
2008
ACM
13 years 9 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
ICSR
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
ATAL
2003
Springer
14 years 18 days ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...