Sciweavers

489 search results - page 30 / 98
» On the Execution of ODP Computational Specifications
Sort
View
CAISE
1999
Springer
13 years 11 months ago
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
Wasim Sadiq, Maria E. Orlowska
ICCL
1994
IEEE
13 years 11 months ago
A Compositional Approach to Concurrent Object-Oriented Programming
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
Raju Pandey, James C. Browne
ICSOC
2009
Springer
14 years 2 months ago
Gelee: Cooperative Lifecycle Management for (Composite) Artifacts
In this demonstration we introduce Gelee, our online platform for the hosted specification and cooperative execution of lifecycles of artifacts of any kind. With Gelee we aim at fi...
Marcos Báez, Cristhian Parra, Fabio Casati,...
EMSOFT
2008
Springer
13 years 9 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
CONCURRENCY
2006
143views more  CONCURRENCY 2006»
13 years 7 months ago
A Grid workflow infrastructure
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...
Dieter Cybok