Sciweavers

2686 search results - page 370 / 538
» Parallel object monitors
Sort
View
ICRA
2000
IEEE
141views Robotics» more  ICRA 2000»
15 years 8 months ago
A Human-Robot Interface Using an Interactive Hand Pointer that Projects a Mark in the Real Work Space
A human-robot interface system is under development that takes into account the exibility of the DigitalDesk approach. The prototype consists of a projector subsystem for informa...
Shin Sato, Shigeyuki Sakane
ISSTA
2000
ACM
15 years 8 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
DSOM
1999
Springer
15 years 8 months ago
Derivation of Backup Service Management Applications from Service and System Models
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
Ingo Lück, Marcus Schönbach, Arnulf Mest...
ICIAP
1999
ACM
15 years 8 months ago
Determining the Skeletons of the Auroras
The auroral emissions observed in the high-latitude regions encircling the magnetic poles are a key element in studying plasmaphysical processes in the near-Earth space, the magne...
Mikko T. Syrjäsuo, Tuija I. Pulkkinen
MAAMAW
1994
Springer
15 years 7 months ago
Towards a Theory of Cooperative Problem Solving
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
Michael Wooldridge, Nicholas R. Jennings