Sciweavers

5064 search results - page 170 / 1013
» Recent Developments in Gridsolve
Sort
View
ESOP
2007
Springer
14 years 3 months ago
Probabilistic Anonymity Via Coalgebraic Simulations
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
Ichiro Hasuo, Yoshinobu Kawabe
EUROCAST
2007
Springer
108views Hardware» more  EUROCAST 2007»
14 years 3 months ago
A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
Josef Scharinger

Publication
319views
14 years 3 months ago
Epsilon Stereo Pairs
Human stereo vision works by fusing a pair of perspective images with a purely horizontal parallax. Recent developments suggest that very few varieties of multiperspective stereo p...
Yuanyuan Ding and Jingyi Yu
GCC
2007
Springer
14 years 3 months ago
A Resource-based Reputation Rating Mechanism for Peer-to-Peer Networks
As various kinds of peer-to-peer (P2P) applications become popular and widely known to people all around the world, research on P2P networks has received considerable interest. Re...
Huan Chen, Guihai Chen
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
14 years 3 months ago
Geometric particle swarm optimisation on binary and real spaces: from theory to practice
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
Cecilia Di Chio, Alberto Moraglio, Riccardo Poli