Sciweavers

3 search results - page 1 / 1
» Safe Composition of Distributed Programs Communicating over ...
Sort
View
TCOM
2010
147views more  TCOM 2010»
12 years 11 months ago
On a Ratio of Functions of Exponential Random Variables and Some Applications
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...
Ramesh Annavajjala, Ananthanarayanan Chockalingam,...
CSFW
2007
IEEE
13 years 11 months ago
Secure Implementations for Typed Session Abstractions
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...