Sciweavers

4894 search results - page 86 / 979
» Choices
Sort
View
CONCUR
2001
Springer
15 years 10 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
ASPDAC
2000
ACM
95views Hardware» more  ASPDAC 2000»
15 years 10 months ago
Retargetable estimation scheme for DSP architecture selection
— Given the recent wave of innovation and diversification in digital signal processor (DSP) architecture, the need for quickly evaluating the true potential of considered archite...
Naji Ghazal, A. Richard Newton, Jan M. Rabaey
CRYPTO
1997
Springer
169views Cryptology» more  CRYPTO 1997»
15 years 10 months ago
Deniable Encryption
Consider a situation in which the transmission of encrypted messages is intercepted by an adversary who can later ask the sender to reveal the random choices and also the secret ...
Ran Canetti, Cynthia Dwork, Moni Naor, Rafail Ostr...
MABS
2000
Springer
15 years 9 months ago
Mapping the Envelope of Social Simulation Trajectories
Discovering and studying emergent phenomena are among the most important activities in social research. Replicating this phenomenon in "the lab" using simulation is an i...
Oswaldo Terán, Bruce Edmonds, Steve Wallis
USENIX
2008
15 years 8 months ago
Design Tradeoffs for SSD Performance
Solid-state disks (SSDs) have the potential to revolutionize the storage system landscape. However, there is little published work about their internal organization or the design ...
Nitin Agrawal, Vijayan Prabhakaran, Ted Wobber, Jo...