2060 search results - page 79 / 412 » The Composition of Event-B Models |
120
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
146
click to vote
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...
127
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
138
click to vote
COLING
1996
15 years 5 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
117
click to vote
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...