Sciweavers

285 search results - page 46 / 57
» On Specifying Contract Negotiations
Sort
View
96
Voted
IEEESCC
2010
IEEE
14 years 11 months ago
A Model for Visual Specification of E-contracts
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...
Enrique Martinez, Gregorio Díaz, Marí...
81
Voted
GRAPHICSINTERFACE
2001
14 years 11 months ago
Geometry-based Muscle Modeling for Facial Animation
We present a muscle model and methods for muscle construction that allow to easily create animatable facial models from given face geometry. Using our editing tool, one can intera...
Kolja Kähler, Jörg Haber, Hans-Peter Sei...
SOQUA
2007
14 years 10 months ago
An approach to detecting failures automatically
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
Jochen Wuttke
ENTCS
2006
140views more  ENTCS 2006»
14 years 9 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
Kiyoshi Yamada, Takuo Watanabe
CIS
2007
Springer
15 years 3 months ago
Controlled Secret Leakage
— Privacy is the claim of individuals, groups and institutions to determine for themselves, when, how and to what extent information about them is communicated to others. How to ...
Tianjie Cao, Shi Huang, Hui Cui, Yipeng Wu, Qihan ...