266 search results - page 23 / 54 » Specification and Verification of Dynamic Communication Syst... |
ECAIW
1994
Springer
14 years 57 min ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
ENTCS
2008
13 years 8 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
FLAIRS
1998
13 years 9 months ago
1998
Wepresent an application designated to the calculation of probabilities in the card gamebridge. Theapplication can be used by bridge players to improvetheir decisions in the game....
ENTCS
2002
13 years 8 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
JODS
2006
13 years 8 months ago
2006
Abstract. We study the exchange of information in collective information systems mediated by information agents, focusing specifically on the problem of semantic interoperability. ...