Sciweavers

2557 search results - page 175 / 512
» Goal-Based Modeling of Dynamically Adaptive System Requireme...
Sort
View
ASPLOS
2010
ACM
14 years 2 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
14 years 25 days 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 ļ¬eld, namely a quantum planar pendulum. This problem consists i...
Ugo V. Boscain, Thomas Chambrion, Paolo Mason, Mar...
MIDDLEWARE
2004
Springer
14 years 1 months ago
Enabling collaborative adaptation across legacy components
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use diļ¬€erent approaches to adap...
Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Phi...
ESOA
2006
13 years 11 months ago
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks
We present a simple model of self-organization for sensor networks that addresses two conflicting requirements: hazard situations should be reported to a sink node with as little ...
Jorge Simão
KBSE
2003
IEEE
14 years 1 months ago
A Programmable Client-Server Model: Robust Extensibility via DSLs
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...
Charles Consel, Laurent Réveillère