50 search results - page 6 / 10 » Rewrite-Based Satisfiability Procedures for Recursive Data S... |
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
In distributed systems users need to share sensitive objects with others based on the recipients' ability to satisfy a policy. Attribute-Based Encryption (ABE) is a new parad...
96
Voted
CHI
2005
ACM
15 years 10 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
ASWC
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Enabling a system to automatically conceptualize and annotate a human-readable table is one way to create interesting semanticweb content. But exactly "how?" is...
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
120
click to vote
CC
2008
Springer
14 years 11 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...