Sciweavers

8008 search results - page 225 / 1602
» Computer-Aided Language Processing
Sort
View
COORDINATION
2008
Springer
15 years 5 months ago
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs
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...
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hil...
WOTUG
2008
15 years 4 months ago
Visual Process-Oriented Programming for Robotics
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
Jonathan Simpson, Christian L. Jacobsen
97
Voted
SFP
2001
15 years 4 months ago
Deriving Non-Hierarchical Process Topologies
: Eden is a parallel functional language which extends Haskell with new expressions to de
Ricardo Pena, Fernando Rubio, Clara Segura
FGCS
2007
129views more  FGCS 2007»
15 years 3 months ago
Analysis of business process integration in Web service context
The integration of Web services is a recent outgrowth of the Business Process integration field that will require powerful meta-schema mechanisms supported by higher level abstra...
Jun Shen, Georg Grossmann, Yun Yang, Markus Stumpt...
118
Voted
ICFP
2004
ACM
16 years 3 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda