756 search results - page 99 / 152 » Using Architecture Models to Support the Generation and Oper... |
IDEAS
2000
IEEE
14 years 1 days ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
ECRTS
2002
IEEE
14 years 18 days ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
EICS
2009
ACM
14 years 10 days ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
UTP
2010
13 years 5 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...