946 search results - page 119 / 190 » Process Algebra and Non-Interference |
FUIN
2007
13 years 8 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
IJBC
2007
13 years 8 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
We propose a mixture of multiple linear models, also known as hybrid linear model, for a sparse representation of an image. This is a generalization of the conventional KarhunenLo...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
The concept of tensor rank, introduced in the twenties, has been popularized at the beginning of the seventies. This has allowed to carry out Factor Analysis on arrays with more t...
FSTTCS
2004
Springer
14 years 2 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...