232 search results - page 1 / 47 » Timed Commitments |
MSR
2011
ACM
13 years 1 months ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
ICDE
2008
IEEE
15 years 6 days ago
2008
IEEE
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...
IAT
2009
IEEE
14 years 5 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...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...