Sciweavers

11066 search results - page 199 / 2214
» Linearity in Process Languages
Sort
View
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
Integration of Conceptual Process Models by the Example of Event-driven Process Chains
It has become common place in business life that companies with related operations engage in a so-called merger in order to benefit from synergies or from combined products and se...
Carlo Simon, Jan Mendling
AR
2008
95views more  AR 2008»
15 years 6 months ago
Translating Structured English to Robot Controllers
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
APL
1993
ACM
15 years 10 months ago
APROL: a Hybrid Language
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
Dennis Holmes, John E. Howland