Sciweavers

579 search results - page 93 / 116
» Intersecting Classes and Prototypes
Sort
View
DL
2000
Springer
161views Digital Library» more  DL 2000»
14 years 2 days ago
Patron-augmented digital libraries
Digital library research is mostly focused on the generation of large collections of multimedia resources and state-ofthe-art tools for their indexing and retrieval. However, digi...
Dion Hoe-Lian Goh, John J. Leggett
DSRT
1999
IEEE
14 years 1 days ago
Reliable Multicast Network Transport for Distributed Virtual Simulation
: This paper addresses the need for reliable multicast (RM) network support for the class of distributed virtual simulations (DVS) that operate with human participants who experien...
J. Mark Pullen
IPPS
1999
IEEE
14 years 19 hour ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
ROBOCUP
1998
Springer
146views Robotics» more  ROBOCUP 1998»
13 years 12 months ago
Rocco: A RoboCup Soccer Commentator System
With the attempt to enable robots to play soccer games, the RoboCup challenge poses a demanding standard problem for AI and intelligent robotics research. The rich domain of robot ...
Dirk Voelz, Elisabeth André, Gerd Herzog, T...
CCS
1994
ACM
13 years 12 months ago
Protocol Failure in the Escrowed Encryption Standard
The Escrowed Encryption Standard (EES) defines a US Government family of cryptographic processors, popularly known as "Clipper" chips, intended to protect unclassified g...
Matt Blaze