Sciweavers

182 search results - page 10 / 37
» Design by Contract Deontic Design Language for Multiagent Sy...
Sort
View
ICWS
2003
IEEE
15 years 1 months ago
Adaptive Workflow = Web Services + Agents
Workflow management systems exactly enact business processes described in a process description language. Unfortunately, such strict adherence to the prescribed workflow makes it ...
Paul A. Buhler, José M. Vidal, Harko Verhag...
AOSE
2005
Springer
15 years 5 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...
ADT
2005
14 years 11 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm
DRM
2005
Springer
15 years 5 months ago
Fairer usage contracts for DRM
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
Alapan Arnab, Andrew Hutchison
DALT
2009
Springer
15 years 6 months ago
Correctness Properties for Multiagent Systems
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
Munindar P. Singh, Amit K. Chopra