Sciweavers

10275 search results - page 234 / 2055
» Case Studies of Autonomy
Sort
View
APN
2008
Springer
15 years 8 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
ATAL
2008
Springer
15 years 8 months ago
Case studies for contract-based systems
Of the ways in which agent behaviour can be regulated in a multiagent system, electronic contracting
Michal Jakob, Michal Pechoucek, Simon Miles, Micha...
ATAL
2008
Springer
15 years 8 months ago
Electronic contracting in aircraft aftercare: a case study
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
Felipe Rech Meneguzzi, Simon Miles, Michael Luck, ...