3914 search results - page 254 / 783 » Automating SLA modeling |
114
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
117
click to vote
AAAI
2007
15 years 5 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
102
Voted
AAAI
2007
15 years 5 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...
109
Voted
ER
2008
Springer
15 years 4 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
124
Voted
APCCM
2010
15 years 4 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...