3914 search results - page 211 / 783 » Automating SLA modeling |
ICMLA
2008
13 years 9 months ago
2008
Learning by imitation has shown to be a powerful paradigm for automated learning in autonomous robots. This paper presents a general framework of learning by imitation for stochas...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
ICWE
2009
Springer
14 years 2 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
ICECCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...