1211 search results - page 101 / 243 » Computing Manipulations of Ranking Systems |
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
SOSP
2007
ACM
14 years 6 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
SRDS
2008
IEEE
14 years 3 months ago
2008
IEEE
A new generation of distributed systems and applications rely on the cooperation of diverse user populations motivated by self-interest. While they can utilize “reputation syste...
SP
2007
IEEE
14 years 3 months ago
2007
IEEE
The integrity of kernel code and data is fundamental to the integrity of the computer system. Tampering with the kernel data is an attractive venue for rootkit writers since malic...