946 search results - page 7 / 190 » Process Algebra and Non-Interference |
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Relational algebra has been a crucial foundation for relational database systems, and has played a large role in enabling their success. A corresponding XML algebra for X...
CISC
2009
Springer
13 years 7 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...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Many models of wireless sensor networks (WSNs) assume a perfect synchronization along the graph of such network as a simplifying assumption. In our contribution we base our invest...
EEF
2000
14 years 1 months ago
2000
This paper surveys and relates the basic concepts of process algebra and the modelling of continuous time Markov chains. It provides
CMSB
2008
Springer
13 years 11 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.