2060 search results - page 279 / 412 » The Composition of Event-B Models |
153
click to vote
RTSS
2005
IEEE
16 years 16 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...
194
Voted
ACIVS
2005
Springer
16 years 15 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...
180
click to vote
FM
2005
Springer
16 years 14 days 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...
144
click to vote
ICWE
2005
Springer
16 years 14 days 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 ...
170
Voted
ECAI
2004
Springer
16 years 10 days 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...