613 search results - page 18 / 123 » Executable Visual Contracts |
MODELS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
IEEESCC
2010
IEEE
14 years 26 days ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
TIFS
2010
13 years 9 months ago
2010
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
VL
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
APN
2005
Springer
14 years 4 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...