24188 search results - page 4564 / 4838 » Computing on Encrypted Data |
199
click to vote
ACIVS
2007
Springer
16 years 23 days ago
2007
Springer
Multi-camera networks bring in potentials for a variety of vision-based applications through provisioning of rich visual information. In this paper a method of image segmentation f...
192
click to vote
ACIVS
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we propose a collaborative technique for face orientation estimation in smart camera networks. The proposed spatiotemporal feature fusion analysis is based on active...
165
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
175
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
156
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...