Sciweavers

1699 search results - page 2 / 340
» A timed semantics of Orc
Sort
View
CONCUR
2006
Springer
13 years 8 months ago
A Language for Task Orchestration and Its Semantic Properties
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
David Kitchin, William R. Cook, Jayadev Misra
AMAST
2008
Springer
13 years 6 months ago
Simulation Using Orchestration
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
David Kitchin, Evan Powell, Jayadev Misra
COORDINATION
2008
Springer
13 years 6 months ago
A Compositional Trace Semantics for Orc
Dimitrios Vardoulakis, Mitchell Wand
ACL
2011
12 years 8 months ago
A Speech-based Just-in-Time Retrieval System using Semantic Search
Andrei Popescu-Belis, Majid Yazdani, Alexandre Nan...
HYBRID
2004
Springer
13 years 10 months ago
Almost ASAP Semantics: From Timed Models to Timed Implementations
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
Martin De Wulf, Laurent Doyen, Jean-Françoi...