Sciweavers

12183 search results - page 1995 / 2437
» Computers under Attacks!
Sort
View
MM
1999
ACM
117views Multimedia» more  MM 1999»
15 years 11 months ago
NAIVE - network aware Internet video encoding
The distribution of digital video content over computer networks has become commonplace. Unfortunately, most digital video encoding standards do not degrade gracefully in the face...
Héctor M. Briceño, Steven J. Gortler...
WACC
1999
ACM
15 years 11 months ago
Virtual environments at work: ongoing use of MUDs in the workplace
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
Elizabeth F. Churchill, Sara A. Bly
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 11 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
ICRA
1999
IEEE
126views Robotics» more  ICRA 1999»
15 years 11 months ago
Monte Carlo Localization for Mobile Robots
Mobile robot localization is the problem of determining a robot's pose from sensor data. This article presents a family of probabilisticlocalization algorithms known as Monte...
Frank Dellaert, Dieter Fox, Wolfram Burgard, Sebas...
AC
1999
Springer
15 years 11 months ago
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
Mark C. Little, Santosh K. Shrivastava
« Prev « First page 1995 / 2437 Last » Next »