2171 search results - page 86 / 435 » A Generic Process Algebra |
146
click to vote
EPEW
2005
Springer
15 years 11 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...
176
click to vote
CSFW
2002
IEEE
15 years 11 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...
165
click to vote
ECAI
2000
Springer
15 years 10 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...
146
click to vote
FORTE
2004
15 years 7 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...
271
click to vote
HUMO
2007
Springer
16 years 11 days 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...