253 search results - page 47 / 51 » A Compositional Approach for Constructing Connectors |
EUROCRYPT
2010
Springer
14 years 29 days ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
PR
2008
13 years 8 months ago
2008
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
JCDL
2005
ACM
14 years 1 months ago
2005
ACM
Constructing a Chinese digital library, especially for a historical article archiving, is often bothered by the small character sets supported by the current computer systems. Thi...
CICLING
2003
Springer
14 years 1 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...