12438 search results - page 12 / 2488 » The Magic of a Number System |
IFM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
The distributed estimation of the number of active sensors in a network can be important for estimation and organization purposes. We propose a design methodology based on the foll...
CL
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
CADUI
2004
13 years 9 months ago
2004
: The main characteristic of a mobile collaborative mixed system is that augmentation of the physical environment of one user occurs through available knowledge of where the user i...
MIXER
2004
13 years 9 months ago
2004
The main characteristic of a mobile collaborative Mixed Reality (MR) system is that augmentation of the physical environment of one user occurs through available knowledge of wher...