Sciweavers

14642 search results - page 177 / 2929
» It's Time for a Change
Sort
View
JSS
2008
116views more  JSS 2008»
15 years 6 months ago
Characterization of the evolution of a news Web site
The Web has become a ubiquitous tool for distributing knowledge and information and for conducting businesses. To exploit the huge potential of the Web as a global information rep...
Mariacarla Calzarossa, Daniele Tessera
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 11 months ago
Arbitrarily modulated Markov decision processes
— We consider decision-making problems in Markov decision processes where both the rewards and the transition probabilities vary in an arbitrary (e.g., nonstationary) fashion. We...
Jia Yuan Yu, Shie Mannor
ATVA
2004
Springer
78views Hardware» more  ATVA 2004»
15 years 12 months ago
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. My...
IACR
2011
209views more  IACR 2011»
14 years 6 months ago
Improved Attacks on Full GOST
GOST is a well known block cipher which was developed in the Soviet Union during the 1970’s as an alternative to the US-developed DES. In spite of considerable cryptanalytic eff...
Itai Dinur, Orr Dunkelman, Adi Shamir
INFOCOM
2009
IEEE
16 years 1 months ago
Time Valid One-Time Signature for Time-Critical Multicast Data Authentication
Abstract—It is challenging to provide authentication to timecritical multicast data, where low end-to-end delay is of crucial importance. Consequently, it requires not only effi...
Qiyan Wang, Himanshu Khurana, Ying Huang, Klara Na...