10271 search results - page 548 / 2055 » Computer Science |
195
click to vote
TCS
2011
15 years 1 months ago
2011
This paper initiates a study of connections between local and global properties of graphical games. Specifically, we introduce a concept of local price of anarchy that quantifie...
196
click to vote
TCS
2011
15 years 1 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
180
click to vote
TCS
2011
15 years 1 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
163
click to vote
TCS
2011
15 years 1 months ago
2011
The notion of repetition threshold, which is the object of Dejean’s conjecture (1972), was generalized by Ilie, Ochem, and Shallit in 2005, to include the lengths of the avoided ...
240
click to vote
TDSC
2011
15 years 1 months ago
2011
Recently, Chien proposed an ultralightweight RFID authentication protocol to prevent all possible attacks. However, we find two de-synchronization attacks to break the protocol. K...