Sciweavers

1284 search results - page 14 / 257
» Abstract Processes in Orchestration Languages
Sort
View
JWSR
2008
145views more  JWSR 2008»
15 years 4 months ago
An Access-Control Framework for WS-BPEL
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
Federica Paci, Elisa Bertino, Jason Crampton
IPPS
2006
IEEE
15 years 10 months ago
An extensible global address space framework with decoupled task and data abstractions
ions Sriram Krishnamoorthy½ Umit Catalyurek¾ Jarek Nieplocha¿ Atanas Rountev½ P. Sadayappan½ ½ Dept. of Computer Science and Engineering, ¾ Dept. of Biomedical Informatics T...
Sriram Krishnamoorthy, Ümit V. Çataly&...
FM
2009
Springer
105views Formal Methods» more  FM 2009»
15 years 11 months ago
Three-Valued Spotlight Abstractions
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch
IPPS
2007
IEEE
15 years 10 months ago
Coordinating Data Parallel SAC Programs with S-Net
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...