Sciweavers

278 search results - page 34 / 56
» Formal Composition of Distributed Scenarios
Sort
View
PVLDB
2008
81views more  PVLDB 2008»
13 years 8 months ago
Optimization of multi-domain queries on the web
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
Daniele Braga, Stefano Ceri, Florian Daniel, David...
ATAL
2011
Springer
12 years 9 months ago
Commitments with regulations: reasoning about safety and control in REGULA
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
Elisa Marengo, Matteo Baldoni, Cristina Baroglio, ...
EDOC
2006
IEEE
14 years 3 months ago
Compliance checking between business processes and business contracts
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
Guido Governatori, Zoran Milosevic, Shazia Wasim S...
ECAI
1994
Springer
14 years 1 months ago
Coherent Social Action
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
Michael Wooldridge
ATAL
2008
Springer
13 years 11 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, ...