9067 search results - page 310 / 1814 » Adaptive Model Checking |
167
click to vote
RIVF
2003
15 years 8 months ago
2003
—Our work aims to provide adaptable fault tolerance for component-based systems through frameworks. In order to implement this approach, the underlying component model must fulï¬...
189
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
169
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Adaptive microarchitectures are a promising solution for designing high-performance, power-efficient microprocessors. They offer the ability to tailor computational resou...
187
click to vote
EMMCVPR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
199
click to vote
EDUTAINMENT
2008
Springer
15 years 8 months ago
2008
Springer
There is a trend in Virtual Learning Environments (VLE) towards flexible and adapted learning experiences that modify their contents and behavior to suit the needs of different lea...