1529 search results - page 83 / 306 » Power-aware operating systems for interactive systems |
176
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
112
Voted
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper describes a method to visualize the thickness of curved thin objects. Given the MRI volume data of articular cartilage, medical doctors investigate pathological changes...
136
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
119
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Updating an operational system is often complex and awkward. In this article, we will explain how the concept of multi-layer interface could facilitate the evolution of operationa...
163
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...