426 search results - page 53 / 86 » Resource-based approach to feature interaction in adaptive s... |
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
191
click to vote
TASE
2012
IEEE
13 years 7 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
QSIC
2005
IEEE
15 years 5 months ago
2005
IEEE
Service workflow management which consolidates multiple services to achieve business goals has become a critical issue in service-oriented computing. Due to the unique feature of ...
104
click to vote
ARCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...