Sciweavers

2006 search results - page 109 / 402
» Systematic Component Adaptation
Sort
View
137
Voted
ISOLA
2010
Springer
15 years 17 days ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
109
Voted
OTM
2007
Springer
15 years 8 months ago
Building Adaptive Systems with Service Composition Frameworks
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
Liliana Rosa, Luís Rodrigues, Antóni...
GLVLSI
1999
IEEE
120views VLSI» more  GLVLSI 1999»
15 years 7 months ago
Adaptive Hard Disk Power Management on Personal Computers
Dynamic power management can be effective for designing low-power systems. In many systems, requests are clustered into sessions. This paper proposes an adaptive algorithm that ca...
Yung-Hsiang Lu, Giovanni De Micheli
PRL
2006
153views more  PRL 2006»
15 years 2 months ago
Efficient adaptive density estimation per image pixel for the task of background subtraction
We analyze the computer vision task of pixel-level background subtraction. We present recursive equations that are used to constantly update the parameters of a Gaussian mixture m...
Zoran Zivkovic, Ferdinand van der Heijden
87
Voted
AAMAS
2002
Springer
15 years 2 months ago
Structuring Agents for Adaptation
Agents need to be able to adapt to the dynamic nature of the environments in which they operate. Automated adaptation is an option that is only feasible if enough structure is prov...
Sander van Splunter, Niek J. E. Wijngaards, France...