913 search results - page 79 / 183 » Full Abstraction for Linda |
ANTSW
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
EUROCRYPT
2011
Springer
13 years 10 days ago
2011
Springer
Abstract. In this paper we construct several tools for manipulating pools of biases in the analysis of RC4. Then, we show that optimized strategies can break WEP based on 4000 pack...
TON
2012
11 years 11 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
TVCG
2012
11 years 11 months ago
2012
Abstract—Head-mounted displays (HMDs) allow users to observe virtual environments (VEs) from an egocentric perspective. However, several experiments have provided evidence that e...
WALCOM
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract. Arc-annotated sequences are useful for representing structural information of RNAs and have been extensively used for comparing RNA structures in both terms of sequence a...