1090 search results - page 139 / 218 » Type-Directed Partial Evaluation |
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
PRIMA
2007
Springer
14 years 4 months ago
2007
Springer
Multiagent Partially Observable Markov Decision Processes are a popular model of multiagent systems with uncertainty. Since the computational cost for finding an optimal joint pol...
CRYPTO
2005
Springer
14 years 4 months ago
2005
Springer
Motivated by database search problems such as partial match or nearest neighbor, we present secure multiparty computation protocols for constant-depth circuits. Specifically, for ...
GI
2005
Springer
14 years 4 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
ASIACRYPT
2003
Springer
14 years 3 months ago
2003
Springer
Provable security usually makes the assumption that a source of perfectly random and secret data is available. However, in practical applications, and especially when smart cards a...