2060 search results - page 279 / 412 » The Composition of Event-B Models |
138
click to vote
RTSS
2005
IEEE
16 years 2 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
179
click to vote
ACIVS
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we present an interactive, object-based video retrieval system which features a novel query formulation method that is used to iteratively refine an underlying model...
168
click to vote
FM
2005
Springer
16 years 10 hour ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
139
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Current data-intensive Web applications, such as on-line trading, ecommerce, corporate portals and so on, are becoming more and more complex, both in terms of density of ...
158
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...