3547 search results - page 285 / 710 » Computers Seeing People |
178
click to vote
TCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
169
click to vote
ACMACE
2004
ACM
16 years 3 days ago
2004
ACM
The Intelligent Street is a music installation that is able to respond intelligently to the collective requests of users interacting together. The performance it creates is largel...
153
click to vote
SIGCSE
2004
ACM
16 years 2 days ago
2004
ACM
The event driven paradigm is ubiquitous in modern software. Many texts introduce events when discussing graphical user interfaces, but the event paradigm extends well beyond that ...
156
click to vote
C5
2003
IEEE
15 years 12 months ago
2003
IEEE
1 Croquet [18] is a computer software architecture built from the ground up with a focus on deep collaboration between teams of users. It is a totally open, totally free, highly p...
184
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
GridRPC is a class of Grid middleware for scientific computing. Interoperability has been an important issue, because current GridRPC systems each employ its own protocol. Web se...