Sciweavers

1578 search results - page 244 / 316
» Self-healing systems - survey and synthesis
Sort
View
SIGSOFT
2006
ACM
14 years 2 months ago
From multi-modal scenarios to code: compiling LSCs into aspectJ
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
Shahar Maoz, David Harel
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
14 years 1 months ago
Energy Bounds for Fault-Tolerant Nanoscale Designs
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
Diana Marculescu
ICMCS
2005
IEEE
137views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Modeling Dynamic Textures Using Subspace Mixtures
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
Che-Bin Liu, Ruei-Sung Lin, Narendra Ahuja
CEEMAS
2005
Springer
14 years 1 months ago
Dialectical Theory for Multi-agent Assumption-Based Planning
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
Damien Pellier, Humbert Fiorino
CONCUR
2005
Springer
14 years 1 months ago
A Compositional Approach to the Stochastic Dynamics of Gene Networks
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
Luca Cardelli