2557 search results - page 310 / 512 » Goal-Based Modeling of Dynamically Adaptive System Requireme... |
ACTA
2007
13 years 8 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
PATMOS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
ICCD
2003
IEEE
14 years 5 months ago
2003
IEEE
Despite recent advances, battery life continues to be a limiting factor in mobile multimedia systems. Significant energy savings can be achieved by adapting systems at runtime to...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
—The purpose of this paper is to present an initial delineation of the inherent components required for unmanned vehicles to possess situation awareness. A broadly adapted human ...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— We describe the design of a contact imager for applications in lab-on-a-chip systems, such as sample preparation and manipulation and monitoring of cells. This is a challenging...