Sciweavers

5334 search results - page 218 / 1067
» Communicating quantum processes
Sort
View
ECMDAFA
2008
Springer
158views Hardware» more  ECMDAFA 2008»
15 years 6 months ago
Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
Ta'id Holmes, Huy Tran, Uwe Zdun, Schahram Dustdar
WOTUG
2008
15 years 5 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
PERCOM
2006
ACM
16 years 4 months ago
Distributed Cross-Layer Scheduling for In-Network Sensor Query Processing
In-network sensor query processing is a cross-layer design paradigm in which networked sensor nodes process data acquisitional queries in collaboration with one another. As power ...
Hejun Wu, Qiong Luo, Wenwei Xue
CL
2000
Springer
15 years 8 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
IMECS
2007
15 years 5 months ago
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
Ka L. Man, Michel P. Schellekens