3914 search results - page 211 / 783 » Automating SLA modeling |
129
click to vote
ICMLA
2008
15 years 6 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...
137
click to vote
ICCAD
2001
IEEE
16 years 1 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...
132
click to vote
ICWE
2009
Springer
15 years 11 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...
149
click to vote
ICECCS
2006
IEEE
15 years 11 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...
149
click to vote
QEST
2005
IEEE
15 years 10 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...