3914 search results - page 172 / 783 » Automating SLA modeling |
ECSQARU
1995
Springer
13 years 11 months ago
1995
Springer
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
DEON
2010
Springer
13 years 10 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
CP
2003
Springer
14 years 1 months ago
2003
Springer
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
KR
2010
Springer
14 years 24 days ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...