613 search results - page 3 / 123 » Executable Visual Contracts |
ICSOC
2003
Springer
13 years 10 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...
IANDC
2008
13 years 5 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...
SOFTVIS
2006
ACM
13 years 11 months ago
2006
ACM
VL
1992
IEEE
13 years 9 months ago
1992
IEEE
CONCUR
2000
Springer
13 years 9 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...