Sciweavers

4899 search results - page 610 / 980
» Robust normative systems
Sort
View
ESORICS
2009
Springer
16 years 7 months ago
Type-Based Analysis of PIN Processing APIs
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
Matteo Centenaro, Riccardo Focardi, Flaminia L. Lu...
150
Voted
CHI
2004
ACM
16 years 7 months ago
A grounded investigation of game immersion
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...
Emily Brown, Paul A. Cairns
ICALP
2009
Springer
16 years 7 months ago
Forward Analysis for WSTS, Part II: Complete WSTS
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
Alain Finkel, Jean Goubault-Larrecq
ECIR
2009
Springer
16 years 4 months ago
If I Had a Million Queries
As document collections grow larger, the information needs and relevance judgments in a test collection must be well-chosen within a limited budget to give the most reliable and ro...
Ben Carterette, Virgiliu Pavlu, Evangelos Kanoulas...
210
Voted
DCC
2010
IEEE
16 years 1 months ago
A Flexible Multiple Description Coding Scheme Based on Rateless Codes
The multiple description coding of an independent and identically distributed Gaussian source over bit error channels is considered. A novel practical multiple description coding ...
Ozgun Y. Bursalioglu, Giuseppe Caire