67 search results - page 3 / 14 » Enhancing Tropos with Commitments |
129
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
133
Voted
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
107
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
169
Voted
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
130
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
Distributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violatin...