2060 search results - page 32 / 412 » The Composition of Event-B Models |
138
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
107
Voted
COLING
2010
14 years 10 months ago
2010
We present an approach to model hidden attributes in the compositional semantics of adjective-noun phrases in a distributional model. For the representation of adjective meanings,...
134
click to vote
PCM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
133
Voted
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
125
click to vote
MTA
2000
15 years 3 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...