Sciweavers

1578 search results - page 244 / 316
» Self-healing systems - survey and synthesis
Sort
View
SIGSOFT
2006
ACM
16 years 7 days 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»
15 years 12 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»
15 years 12 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
15 years 11 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
15 years 11 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