4693 search results - page 662 / 939 » Verifying Hybrid Systems |
298
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
In outsourced database (ODB) systems the database owner publishes its data through a number of remote servers, with the goal of enabling clients at the edge of the network to acce...
179
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
153
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
171
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...
212
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
A user authentication system using "unclear images" as pass-images has been proposed, in which only legitimate users can understand their meaning by viewing the original...