946 search results - page 112 / 190 » Process Algebra and Non-Interference |
120
Voted
DAGM
2008
Springer
15 years 2 months ago
2008
Springer
This work focuses on tomographic image reconstruction in experimental fluid mechanics (TomoPIV), a recently established 3D particle image velocimetry technique. Corresponding 2D im...
108
Voted
JCB
2006
15 years 19 days ago
2006
We develop a model for elucidating the assembly pathways by which an icosahedral viral shell forms from 60 identical constituent protein monomers. This poorly understood process a...
114
click to vote
WOSP
2004
ACM
15 years 6 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
96
Voted
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
Linda tuple spaces are flat and unstructured, in the sense that they do not allow for expressing preferences of tuples; for example, we could be interested in indicating tuples th...
85
Voted
PARLE
1989
15 years 4 months ago
1989
We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two ope...