2060 search results - page 295 / 412 » The Composition of Event-B Models |
180
click to vote
MM
2003
ACM
15 years 11 months ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
162
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a background model that differentiates between background motion and foreground objects. Unlike most models that represent the variability of pixel intensity at a partic...
194
click to vote
SOCO
2007
Springer
16 years 17 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
162
click to vote
DOCENG
2004
ACM
15 years 12 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
155
click to vote
PEPM
2004
ACM
15 years 11 months ago
2004
ACM
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...