4434 search results - page 613 / 887 » On the Composition of Hybrid Systems |
184
click to vote
ASAP
2006
IEEE
16 years 23 days ago
2006
IEEE
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...
180
click to vote
ISORC
2006
IEEE
16 years 21 days ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
183
click to vote
RTCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
185
click to vote
ACIVS
2005
Springer
16 years 7 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...
171
click to vote
FM
2005
Springer
16 years 6 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...