Sciweavers

9284 search results - page 46 / 1857
» Knowledge State Algorithms
Sort
View
FOSSACS
2005
Springer
14 years 2 months ago
Axiomatizations for Probabilistic Finite-State Behaviors
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
Yuxin Deng, Catuscia Palamidessi
FSE
2008
Springer
117views Cryptology» more  FSE 2008»
13 years 10 months ago
Efficient Reconstruction of RC4 Keys from Internal States
Abstract. In this paper we present an efficient algorithm for the retrieval of the RC4 secret key, given an internal state. This algorithm is several orders of magnitude faster tha...
Eli Biham, Yaniv Carmeli
GD
2004
Springer
14 years 1 months ago
Algorithms for Drawing Media
We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two prin...
David Eppstein
EKNOW
2009
13 years 6 months ago
Enterprise Knowledge Clouds: Next Generation KM Systems?
We are witnessing the emergence of the global, dependable and efficient infrastructure of cloud computing. We assess the current state of the Enterprise Knowledge Management field...
Kemal A. Delic, Jeff A. Riley
ICCS
2007
Springer
14 years 2 months ago
A Realtime Observatory for Laboratory Simulation of Planetary Circulation
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
Sai Ravela, John Marshall, Christopher Hill, Andre...