213 search results - page 34 / 43 » Creating Abstractions Using Relevance Reasoning |
102
Voted
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
105
click to vote
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
104
click to vote
LCN
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...
108
click to vote
TCAD
2010
14 years 4 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
135
click to vote
SIGIR
2010
ACM
14 years 4 months ago
2010
ACM
TION ABSTRACT Personalised Video Retrieval: Application of Implicit Feedback and Semantic User Profiles Frank Hopfgartner University of Glasgow Glasgow G12 8QQ United Kingdom A ch...