13383 search results - page 330 / 2677 » Abstractions from proofs |
177
click to vote
DBSEC
2006
15 years 8 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
177
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a fully secure functional encryption scheme for a wide class of relations, that are specified by non-monotone access structures combined with inner-product rel...
181
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper we elaborate on a kernel extension to tensorbased data analysis. The proposed ideas find applications in supervised learning problems where input data have ...
180
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a novel approach to fully automated reconstruction of tree structures in noisy 2D images. Unlike in earlier approaches, we explicitly handle crossovers and bif...
202
Voted
SCP
2011
15 years 1 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...