34 search results - page 7 / 7 » Symbolic protocol analysis for monoidal equational theories |
SIGMETRICS
2006
ACM
13 years 10 months ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
SIGMETRICS
2011
ACM
12 years 7 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...
IMAGING
2003
13 years 6 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
POPL
2001
ACM
14 years 5 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...