732 search results - page 68 / 147 » A Formal Model of Provenance in Distributed Systems |
118
click to vote
OOIS
1997
Springer
15 years 1 months ago
1997
Springer
Workflow management, one of the important technologies for supporting collaborative work, requires database technologies like distributed data management or transaction management...
ESCIENCE
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
IWPSE
2010
IEEE
14 years 7 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
SCCC
1998
IEEE
15 years 2 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...