Sciweavers

6474 search results - page 241 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
AINA
2007
IEEE
15 years 10 months ago
Considering Runtime Restrictions in Self-Healing Distributed Systems
Hardware failures in autonomous and distributed software systems create the need for self-healing activities. This work addresses the problem of redeploying software components af...
Christoph Danne, Viktor Dück, Benjamin Kl&oum...
HUC
2003
Springer
15 years 11 months ago
Building World Models by Ray-Tracing within Ceiling-Mounted Positioning Systems
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
Robert K. Harle, Andy Hopper
ENGL
2008
70views more  ENGL 2008»
15 years 6 months ago
Modeling, Control and Simulation of a Novel Mobile Robotic System
Abstract--We are developing an autonomous mobile robotic system to emulate six degree of freedom relative spacecraft motion during proximity operations. A mobile omni-directional b...
Xiaoli Bai, Jeremy J. Davis, James Doebbler, James...
TAMODIA
2008
15 years 8 months ago
Involving End Users in Distributed Requirements Engineering
Active involvement of end users in the development of interactive systems is both highly recommended and highly challenging. This is particularly true in settings where the require...
Steffen Lohmann, Jürgen Ziegler, Philipp Heim
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo