3914 search results - page 542 / 783 » Automating SLA modeling |
173
click to vote
SEKE
2005
Springer
16 years 2 days ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
170
click to vote
TARK
2005
Springer
16 years 2 days ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
167
click to vote
TARK
2005
Springer
16 years 2 days ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
152
click to vote
APLAS
2004
ACM
16 years 1 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
181
click to vote
CADE
2004
Springer
16 years 12 hour ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...