2021 search results - page 97 / 405 » COCO: Composition Model and Composition Model Implementation |
130
click to vote
ICDCSW
2000
IEEE
15 years 8 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
155
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
146
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
151
Voted
IEEESCC
2010
IEEE
15 years 6 months 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...
120
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we propose a method for detecting digital processing of video such as compositing. Our method is based on a realistic model of charge coupled device (CCD) sensor no...