2171 search results - page 86 / 435 » A Generic Process Algebra |
EPEW
2005
Springer
15 years 6 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...
114
Voted
CSFW
2002
IEEE
15 years 5 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...
94
Voted
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
FORTE
2004
15 years 2 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
187
Voted
HUMO
2007
Springer
15 years 7 months ago
2007
Springer
This work presents a marker-less motion capture system that incorporates an approach to smoothly adapt a generic model mesh to the individual shape of a tracked person. This is don...