Sciweavers

484 search results - page 66 / 97
» Runtime software adaptation: framework, approaches, and styl...
Sort
View
SERVICES
2010
166views more  SERVICES 2010»
15 years 4 days ago
Context-Driven Optimization of Mobile Service-Oriented Systems for Improving Their Resilience
Mobile software systems are characterized by their highly dynamic and unpredictable execution context. Such systems are permeating a number of domains where the systems operate in ...
Deshan Cooray, Sam Malek, Roshanak Roshandel
POPL
2009
ACM
15 years 11 months ago
Static contract checking for Haskell
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
LCPC
2007
Springer
15 years 4 months ago
Modeling Relations between Inputs and Dynamic Behavior for General Programs
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...
Xipeng Shen, Feng Mao
CBSE
2010
Springer
15 years 2 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
COMPSAC
2009
IEEE
15 years 3 months ago
A Framework for Cost Sensitive Assessment of Intrusion Response Selection
Abstract—In recent years, cost-sensitive intrusion response has gained significant interest, mainly due to its emphasis on the balance between potential damage incurred by the i...
Chris Strasburg, Natalia Stakhanova, Samik Basu, J...