3914 search results - page 578 / 783 » Automating SLA modeling |
166
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
159
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
141
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
150
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
148
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...