Sciweavers

1866 search results - page 202 / 374
» Dynamic instantiation-checking components
Sort
View
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 8 months ago
Controllability of the rotation of a quantum planar molecule
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
Ugo V. Boscain, Thomas Chambrion, Paolo Mason, Mar...
EICS
2009
ACM
15 years 8 months ago
StateStream: a developer-centric approach towards unifying interaction models and architecture
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
Gerwin de Haan, Frits H. Post
CSL
2004
Springer
15 years 7 months ago
Pfaffian Hybrid Systems
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
Margarita V. Korovina, Nicolai Vorobjov
120
Voted
DAIS
2006
15 years 5 months ago
Adding Fault-Tolerance to a Hierarchical DRE System
Dynamic resource management is a crucial part of the infrastructure for emerging mission-critical distributed real-time embedded system. Because of this, the resource manager must ...
Paul Rubel, Joseph P. Loyall, Richard E. Schantz, ...
SOCO
2008
Springer
15 years 3 months ago
A Reflective Framework for Fine-Grained Adaptation of Aspect-Oriented Compositions
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
Paul Grace, Bert Lagaisse, Eddy Truyen, Wouter Joo...