1027 search results - page 196 / 206 » Callgraph properties of executables |
138
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
155
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
104
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
124
click to vote
CRYPTO
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Non-Interactive Zero Knowledge (NIZK), introduced by Blum, Feldman, and Micali in 1988, is a fundamental cryptographic primitive which has attracted considerable attentio...
168
click to vote
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...