Sciweavers

18090 search results - page 272 / 3618
» Computing by Only Observing
Sort
View
ESORICS
2002
Springer
16 years 6 months ago
Computational Probabilistic Non-interference
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
Michael Backes, Birgit Pfitzmann
FC
2007
Springer
117views Cryptology» more  FC 2007»
16 years 20 days ago
Using a Personal Device to Strengthen Password Authentication from an Untrusted Computer
Keylogging and phishing attacks can extract user identity and sensitive account information for unauthorized access to users’ financial accounts. Most existing or proposed solut...
Mohammad Mannan, Paul C. van Oorschot
ISCA
2003
IEEE
89views Hardware» more  ISCA 2003»
15 years 11 months ago
MisSPECulation: Partial and Misleading Use of SPEC CPU2000 in Computer Architecture Conferences
A majority of the papers published in leading computer architecture conferences use SPEC CPU2000, or its predecessor SPEC CPU95, which has become the de facto standard for measuri...
Daniel Citron
SIGCSE
1992
ACM
178views Education» more  SIGCSE 1992»
15 years 10 months ago
A graphical computer simulator for systems programming courses
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
Mark Newsome, Cherri M. Pancake
STACS
2009
Springer
16 years 1 months ago
Randomness on Computable Probability Spaces - A Dynamical Point of View
We extend the notion of randomness (in the version introduced by Schnorr) to computable Probability Spaces and compare it to a dynamical notion of randomness: typicality. Roughly, ...
Péter Gács, Mathieu Hoyrup, Cristoba...