Sciweavers

3914 search results - page 259 / 783
» Automating SLA modeling
Sort
View
ICLP
2003
Springer
14 years 1 months ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...
EDOC
2000
IEEE
14 years 21 days ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
ISN
1999
Springer
112views Communications» more  ISN 1999»
14 years 16 days ago
Modelling Management Components for Reuse Using UML
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
David Lewis, Chris Malbon, Alina DaCruz
WETICE
1998
IEEE
14 years 15 days ago
A Framework for Adaptive Process Modeling and Execution (FAME)
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
Perakath C. Benjamin, Madhav Erraguntla, Richard J...
COOPIS
2004
IEEE
14 years 15 hour ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...