Sciweavers

2558 search results - page 115 / 512
» Model Composition Contracts
Sort
View
122
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
Model-Driven Development of Recursive CORBA Component Assemblies
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...
Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdor...
128
Voted
ECOOP
2000
Springer
15 years 8 months ago
A Basic Model of Typed Components
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
João Costa Seco, Luís Caires
COLING
1996
15 years 5 months ago
Processing Metonymy- a Domain-Model Heuristic Graph Traversal Approach
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...
Jacques Bouaud, Bruno Bachimont, Pierre Zweigenbau...
ICPR
2008
IEEE
16 years 5 months ago
Detection of digital processing of images through a realistic model of CCD noise
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...
Jean-Baptiste Maillard, Daniel Lévesque, Fr...
SEFM
2006
IEEE
15 years 10 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis