232 search results - page 40 / 47 » Credentials-Based Authorization: Evaluation and Implementati... |
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
Many users face surveillance of their Internet communications and a significant fraction suffer from outright blocking of certain destinations. Anonymous communication systems a...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
In this paper, we introduce an implementation for detailed monitoring of user actions on web pages. It addresses the problem that the log data recorded by standard web servers is ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic classes. Efficient and...