380 search results - page 55 / 76 » A Software Framework for Automated Negotiation |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
EDBTW
2004
Springer
14 years 2 months ago
2004
Springer
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
CLEIEJ
2010
13 years 6 months ago
2010
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annotations at the applications classes as metadata configuration. However, despite i...