1785 search results - page 231 / 357 » Framework of Agile Patterns |
120
click to vote
AGI
2011
14 years 4 months ago
2011
Abstract. This paper considers the consequences of endowing an intelligent agent with the ability to modify its own code. The intelligent agent is patterned closely after AIXI with...
178
click to vote
SAC
2011
ACM
14 years 4 months ago
2011
ACM
The term ‘Session Fixation vulnerability’ subsumes issues in Web applications that under certain circumstances enable the adversary to perform a Session Hijacking attack throu...
143
click to vote
CRYPTO
2011
Springer
14 years 29 days ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
117
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
Traditional economic models typically treat private information, or signals, as generated from some underlying state. Recent work has explicated alternative models, where signals ...
TOCS
2012
13 years 3 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...