Sciweavers

4539 search results - page 20 / 908
» Approaches to Compute Workflow Complexity
Sort
View
SOCA
2007
IEEE
14 years 2 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
IFIP3
1998
151views Education» more  IFIP3 1998»
13 years 9 months ago
Conceptual Workflow Modelling for Remote Courses
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...
José Palazzo M. de Oliveira, Mariano Nicola...
IPPS
2008
IEEE
14 years 2 months ago
Data throttling for data-intensive workflows
— Existing workflow systems attempt to achieve high performance by intelligently scheduling tasks on resources, sometimes even attempting to move the largest data files on the hi...
Sang-Min Park, Marty Humphrey
CSE
2009
IEEE
13 years 6 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...