3914 search results - page 223 / 783 » Automating SLA modeling |
129
Voted
ECOWS
2006
Springer
15 years 4 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
134
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
114
Voted
JUCS
2007
15 years 2 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
109
Voted
JSS
2006
15 years 2 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
111
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...