Sciweavers

3268 search results - page 114 / 654
» Structured Service Composition
Sort
View
137
Voted
CONCUR
2007
Springer
16 years 17 days ago
Compositional Event Structure Semantics for the Internal pi -Calculus
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
IPPS
1999
IEEE
15 years 10 months ago
Dynamic Process Composition and Communication Patterns in Irregularly Structured Applications
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
C. T. H. Everaars, Barry Koren, Farhad Arbab
ISORC
1998
IEEE
15 years 10 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
140
Voted
ICALP
2010
Springer
15 years 8 months ago
The Compositional Structure of Multipartite Quantum Entanglement
Bob Coecke, Aleks Kissinger
AAAI
2010
15 years 7 months ago
Two-Player Game Structures for Generalized Planning and Agent Composition
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, S...