Sciweavers

403 search results - page 12 / 81
» An algebra for commitment protocols
Sort
View
51
Voted
ATAL
2010
Springer
15 years 25 days ago
Reasoning about agents and protocols via goals and commitments
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...
ATAL
2009
Springer
15 years 6 months ago
Reasoning intra-dependency in commitments for robust scheduling
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Che...
KESAMSTA
2010
Springer
14 years 10 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
ACOM
2006
Springer
15 years 5 months ago
Towards Design Tools for Protocol Development
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
Pinar Yolum
ESOP
2008
Springer
15 years 1 months ago
A Formal Implementation of Value Commitment
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
Cédric Fournet, Nataliya Guts, Francesco Za...