Sciweavers

1190 search results - page 83 / 238
» The Continuing Quest for Abstraction
Sort
View
AES
2004
Springer
135views Cryptology» more  AES 2004»
14 years 2 months ago
Some Algebraic Aspects of the Advanced Encryption Standard
Abstract. Since being officially selected as the new Advanced Encryption Standard (AES), Rijndael has continued to receive great attention and has had its security continuously eva...
Carlos Cid
AWCC
2004
Springer
14 years 2 months ago
Rule Discovery with Particle Swarm Optimization
Abstract. This paper proposes Particle Swarm Optimization (PSO) algorithm to discover classification rules. The potential IF-THEN rules are encoded into real-valued particles that...
Yu Liu, Qin Zheng, Zhewen Shi, Junying Chen
CAV
2004
Springer
202views Hardware» more  CAV 2004»
14 years 2 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
CONCUR
2004
Springer
14 years 2 months ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
EUC
2004
Springer
14 years 2 months ago
Implementing Cooperative Caching in Distributed Streaming Media Server Clusters
Abstract. In distributed streaming media server clusters, by adopting cooperative caching (CC) technique, the free memory of all the servers can be combined to form a bigger, logic...
Tiecheng Gu, Baoliu Ye, Minyi Guo, Daoxu Chen