3914 search results - page 210 / 783 » Automating SLA modeling |
DAC
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents analysis methods for energy estimation in RC trees driven by time-varying voltage sources, e.g., buffers, timevarying power supplies, and resonant clock genera...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents our approach for grid monitoring: A contextual grid monitoring by a model driven approach. Our approach consists in supervising an entity by taking into accoun...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
WSKS
2009
Springer
14 years 20 days ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...