253 search results - page 47 / 51 » A Compositional Approach for Constructing Connectors |
132
click to vote
EUROCRYPT
2010
Springer
15 years 4 months 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...
138
Voted
PR
2008
14 years 11 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
15 years 5 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...
89
Voted
CICLING
2003
Springer
15 years 4 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...
87
Voted
LCTRTS
2010
Springer
15 years 6 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...