1532 search results - page 112 / 307 » An Algebraic Process Calculus |
242
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
135
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
123
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
147
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We extend definitions of information flow so as to quantify the amount of information passed; in other words, we give a formal definition of the capacity of covert channels. Ou...