1116 search results - page 174 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CN
2006
14 years 11 months ago
2006
Abstract. We present a scalable and flexible grouping service based on concast and best-effort single-source multicast. The service assigns participating end systems to specific gr...
115
click to vote
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--We explore the idea of applying machine learning techniques to automatically infer risk-adaptive policies to reconfigure a network security architecture when the context ...
93
Voted
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...
114
click to vote
RTSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
ACII
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Artists use words, lines, shapes, color, sound and their bodies to express emotions. Virtual humans use postures, gestures, face and voice to express emotions. Why are th...