4581 search results - page 152 / 917 » Computing Transformation Semigroups |
133
click to vote
BPM
2005
Springer
15 years 12 months 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...
172
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
183
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
159
click to vote
DOLAP
1999
ACM
15 years 10 months ago
1999
ACM
This paper describes the Phoenix system, which loads a data warehouse and then reports against it. Between the raw atomic data of the source system and the business measures prese...
166
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...