357 search results - page 55 / 72 » A Contracting System for Hierarchical Components |
GG
2008
Springer
14 years 11 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
102
click to vote
MAGS
2007
14 years 9 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
MSS
1999
IEEE
15 years 2 months ago
1999
IEEE
When the BaBar experiment at the Stanford Linear Accelerator Center starts in April 1999, it will generate approximately 200TB/year of data at a rate of 10MB/sec for 10 years. A m...
SIGOPSE
1998
ACM
15 years 2 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...