1643 search results - page 35 / 329 » Consistability: Describing Usually Consistent Systems |
CRV
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes a surveillance system that uses a network of sensors of different kind for localizing and tracking people in an office environment. The sensor network consist...
ICRA
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
The behaviour of a real-time system can be validated at the system level by means of a real-time operating system model in a VHDL simulation environment. The model consists of the...
USENIX
2001
14 years 11 months ago
2001
This paper describes an efficient and elegant architecture for unifying the meta-data protection of journaling file systems with the data integrity protection of collision-resista...
SAC
2000
ACM
15 years 2 months ago
2000
ACM
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...