3914 search results - page 67 / 783 » Automating SLA modeling |
109
Voted
WIOPT
2010
IEEE
15 years 27 days ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
140
click to vote
PDPTA
1996
15 years 3 months ago
1996
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...
133
Voted
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
107
Voted
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
132
Voted
LICS
2010
IEEE
15 years 13 days ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...