2850 search results - page 31 / 570 » On Timed Models and Full Abstraction |
135
click to vote
CSL
2007
Springer
16 years 5 days ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
188
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
171
click to vote
ASIACRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. At Eurocrypt 2005, Waters presented an identity based encryption (IBE) protocol which is secure in the full model without random oracle. In this paper, we extend Waters&#...
129
click to vote
SIAMAM
2008
15 years 6 months ago
2008
Abstract. We present a model of protein receptor trafficking within the membrane of a cylindrical dendrite containing small protrusions called spines. Spines are the locus of most ...
196
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper is concerned with the reliable inference of optimal treeapproximations to the dependency structure of an unknown distribution generating data. The traditional ...