613 search results - page 3 / 123 » Executable Visual Contracts |
83
Voted
ICSOC
2003
Springer
15 years 3 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...
72
Voted
IANDC
2008
14 years 10 months ago
2008
A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a pre-agreed...
70
Voted
SOFTVIS
2006
ACM
15 years 4 months ago
2006
ACM
128
Voted
VL
1992
IEEE
15 years 2 months ago
1992
IEEE
CONCUR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...