7109 search results - page 79 / 1422 » Process Algebra with Combinators |
CISC
2009
Springer
14 years 8 months ago
2009
Springer
In [10], Buchmann, Pyshkin and Weinmann have described two families of Feistel and SPN block ciphers called Flurry and Curry respectively. These two families of ciphers are fully p...
ACSW
2006
14 years 11 months ago
2006
Owners of systems and resources usually want to control who can access them. This must be based on having a process for authorising certain parties, combined with mechanisms for e...
83
Voted
JLP
2007
14 years 10 months ago
2007
We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditi...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper studies the geometry of multi-image perspective projection and the matching constraints that this induces on image measurements. The combined image projections define ...
82
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...