Sciweavers

7475 search results - page 456 / 1495
» Supporting use case based requirements engineering
Sort
View
QOSA
2010
Springer
15 years 4 months ago
Using QoS-Contracts to Drive Architecture-Centric Self-adaptation
Self-adaptation is now a promising approach to maximize the satisfaction of requirements under changing environmental conditions. One of the key challenges for such self-adaptive s...
Franck Chauvel, Hui Song, Xiangping Chen, Gang Hua...
SDL
2007
192views Hardware» more  SDL 2007»
15 years 8 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
EDBT
2002
ACM
179views Database» more  EDBT 2002»
16 years 7 months ago
Efficient Complex Query Support for Multiversion XML Documents
Managing multiple versions of XML documents represents a critical requirement for many applications. Also, there has been much recent interest in supporting complex queries on XML ...
Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo,...
184
Voted
ICAC
2008
IEEE
16 years 1 months ago
An Adaptive Middleware for Supporting Time-Critical Event Response
Abstract— There are many applications where a timely response to an important event is needed. Often such response can require significant computation and possibly communication...
Qian Zhu, Gagan Agrawal
3DGIS
2006
Springer
16 years 24 days ago
Conception of a 3D Geodata Web Service for the Support of Indoor Navigation with GNSS
This paper addresses the concept of a 3D Geodata Web Service for the support of indoor navigation with satellite-based positioning systems like Galileo or GPS. The presented work ...
Stephan Mäs, Wolfgang Reinhardt, Fei Wang