290 search results - page 10 / 58 » The Formal Execution Semantics of SpecC |
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
COORDINATION
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
LISP
2002
14 years 9 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
79
Voted
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
106
click to vote
EWSPT
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...