1150 search results - page 188 / 230 » Tackling Large State Spaces in Performance Modelling |
EMSOFT
2006
Springer
14 years 18 days ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
DOLAP
2005
ACM
13 years 11 months ago
2005
ACM
A novel framework for providing probabilistically-bounded approximate answers to non-holistic aggregate range queries in OLAP is presented in this paper. Such a framework allows u...
AAAI
2006
13 years 10 months ago
2006
Following verbal route instructions requires knowledge of language, space, action and perception. We present MARCO, an agent that follows free-form, natural language route instruc...
CCE
2005
13 years 8 months ago
2005
The present paper reports a comparative evaluation of four multivariate statistical process control (SPC) techniques for the on-line monitoring of an industrial sugar crystallizat...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...