Sciweavers

39362 search results - page 329 / 7873
» Global Computing Systems
Sort
View
CODES
2005
IEEE
15 years 10 months ago
Conflict analysis in multiprocess synthesis for optimized system integration
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
Oliver Bringmann, Wolfgang Rosenstiel, Axel Sieben...
ACSW
2007
15 years 6 months ago
Design Principles for Low Latency Anonymous Network Systems Secure against Timing Attacks
Low latency anonymous network systems, such as Tor, were considered secure against timing attacks when the threat model does not include a global adversary. In this threat model t...
Rungrat Wiangsripanawan, Willy Susilo, Reihaneh Sa...
CORR
2007
Springer
90views Education» more  CORR 2007»
15 years 4 months ago
Recommender System for Online Dating Service
Abstract. Users of online dating sites are facing information overload that requires them to manually construct queries and browse huge amount of matching user profiles. This beco...
Lukas Brozovsky, Vaclav Petricek
ROBOCUP
2009
Springer
445views Robotics» more  ROBOCUP 2009»
15 years 11 months ago
SSL-Vision: The Shared Vision System for the RoboCup Small Size League
The current RoboCup Small Size League rules allow every team to set up their own global vision system as a primary sensor. This option, which is used by all participating teams, be...
Stefan Zickler, Tim Laue, Oliver Birbach, Mahisorn...
FATES
2005
Springer
15 years 10 months ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang