Sciweavers

371 search results - page 15 / 75
» Adaptation hiding modularity
Sort
View
77
Voted
LCTRTS
2010
Springer
15 years 4 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
JUCS
2008
129views more  JUCS 2008»
14 years 9 months ago
Easing the Smart Home: Semi-automatic Adaptation in Perceptive Environments
: This paper analyses the requirements of automation and adaptation in the so called perceptive environments. These environments are places with the ability of perceiving the conte...
Manuel García-Herranz, Pablo A. Haya, Abrah...
WWW
2004
ACM
15 years 10 months ago
Semantic Web-based Adaptive Hypermedia
Adaptive Hypermedia constitutes a large portion of the Web nowadays. Issues of personalization and adaptation become crucial for the efficient handling of the information on the I...
Lora Aroyo, Paul De Bra, Vadim I. Chepegin
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 2 months ago
Aspect-oriented modeling of adaptive web applications with HiLA
Modeling adaptivity is a challenging task for two reasons: 1) adaptation is usually strongly interwoven with the general functionality of the web application, separation of concer...
Gefei Zhang
DATE
2006
IEEE
76views Hardware» more  DATE 2006»
15 years 3 months ago
Performance optimization for energy-aware adaptive checkpointing in embedded real-time systems
Using additional store-checkpoinsts (SCPs) and compare-checkpoints (CCPs), we present an adaptive checkpointing for double modular redundancy (DMR) in this paper. The proposed app...
Zhongwen Li, Hong Chen, Shui Yu