3914 search results - page 449 / 783 » Automating SLA modeling |
180
Voted
DEON
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
232
Voted
ECOWS
2004
Springer
16 years 25 days ago
2004
Springer
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
187
click to vote
GI
2004
Springer
16 years 24 days ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
170
click to vote
KR
2004
Springer
16 years 24 days ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
202
click to vote
NMR
2004
Springer
16 years 24 days ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...