Sciweavers

8008 search results - page 225 / 1602
» Computer-Aided Language Processing
Sort
View
166
Voted
COORDINATION
2008
Springer
15 years 6 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...
150
Voted
WOTUG
2008
15 years 6 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
112
Voted
SFP
2001
15 years 6 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
159
Voted
FGCS
2007
129views more  FGCS 2007»
15 years 5 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...
139
Voted
ICFP
2004
ACM
16 years 5 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