3868 search results - page 312 / 774 » Open Systems in TLA |
198
click to vote
ICALP
2004
Springer
16 years 25 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
182
Voted
ICRA
2002
IEEE
16 years 12 days ago
2002
IEEE
Detection of obstacles for autonomous vehicles is more difficult when the terrain is not locally planar and remains an open problem. We have developed an approach suited for obsta...
170
Voted
SRDS
2000
IEEE
15 years 12 months ago
2000
IEEE
: As Century 21 just opened up, it is a fitting time to reflect on the evolution of the fault-tolerant distributed computing technology that occurred in the last century. The autho...
204
click to vote
FSE
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we discuss PRNGs: the mechanisms used by real-world secure systems to generate cryptographic keys, initialization vectors, "random" nonces, and other values...
155
Voted
UIST
1996
ACM
15 years 11 months ago
1996
ACM
The Cage is an easy to use 3D grid. Built into a 3D modeler, it provides a visualized reference coordinate system that helps the user to orient himself in 3D space, and that suppo...