7640 search results - page 521 / 1528 » Event Database Processing |
165
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— In this position paper, we motivate the need for streaming data integration in three main forms including across multiple streaming data sources, over multiple stream processin...
178
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
168
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Because of practical limits in characterizing the safety profiles of therapeutic products prior to marketing, manufacturers and regulatory agencies perform post-marketing surveill...
135
click to vote
BPM
2005
Springer
16 years 2 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...