Sciweavers

641 search results - page 49 / 129
» Combining Aspects of Reactive Systems
Sort
View
CTW
2004
84views more  CTW 2004»
13 years 8 months ago
Nurses' reactions to alarms in a neonatal intensive care unit
Neonatal intensive care units (NICUs), like other intensive care units, are intended to provide immediate responses to any change in the patient's condition. Patient-monitorin...
Yuval Bitan, Joachim Meyer, David Shinar, Ehud Zmo...
FROCOS
2007
Springer
14 years 2 months ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
IJAHUC
2007
90views more  IJAHUC 2007»
13 years 8 months ago
A survey on context-aware systems
: Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context data and adapting systems behaviour accordingly. Especial...
Matthias Baldauf, Schahram Dustdar, Florian Rosenb...
ENTCS
2002
105views more  ENTCS 2002»
13 years 8 months ago
Towards component based systems: refining connectors
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
Matthias Anlauff, Asuman Sünbül
SETN
2004
Springer
14 years 2 months ago
An Intelligent System for Aerial Image Retrieval and Classification
Content based image retrieval is an active research area of pattern recognition. A new method of extracting global texture energy descriptors is proposed and it is combined with fe...
Antonios Gasteratos, Panagiotis Zafeiridis, Ioanni...