2357 search results - page 138 / 472 » Computing Refactorings of Behavior Models |
132
Voted
IEEESCC
2010
IEEE
15 years 5 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...
121
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper addresses the problem of automatically acquiring context models from data. Context and human behavior are represented using a state model, called situation model. This ...
126
click to vote
MIRAGE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of an alpha overlay shadow model. Previou...
154
click to vote
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
180
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Previous analysis of content fingerprints has mainly focused on the case of independent and identically distributed fingerprints. Practical fingerprints, however, exhibit corre...