Sciweavers

455 search results - page 76 / 91
» Asynchronous and deterministic objects
Sort
View
HICSS
2002
IEEE
136views Biometrics» more  HICSS 2002»
14 years 25 days ago
Automated Decision Technology for Network Design in Cellular Communication Systems
The location and configuration of transmission infrastructure for cellular communication networks is a complex engineering task involving many competing objectives. While minimis...
Stuart M. Allen, Steve Hurley, Roger M. Whitaker
ICALP
2001
Springer
14 years 11 days ago
Secure Games with Polynomial Expressions
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
Aggelos Kiayias, Moti Yung
IPPS
2000
IEEE
14 years 8 days ago
Monotonic Counters: A New Mechanism for Thread Synchronization
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
John Thornley, K. Mani Chandy
ROBOCUP
1999
Springer
101views Robotics» more  ROBOCUP 1999»
14 years 4 days ago
Design and Construction of a Soccer Player Robot ARVAND
Arvand is a robot specially designed and constructed for playing soccer according to RoboCup rules and regulations for the medium size robots. This robot consists of three main par...
Mansour Jamzad, Amirali Foroughnassiraei, Ehsan Ch...
MFCS
1997
Springer
14 years 23 hour ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...