8446 search results - page 261 / 1690 » A Process Compensation Language |
187
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
171
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
156
click to vote
ESWS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
166
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...
180
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Complex Event Processing (CEP) systems are capable of processing large amounts of events, utilizing them to monitor, steer and optimize business in real time. The lack of tracking...