Sciweavers

7766 search results - page 433 / 1554
» Testing Nondeterminate Systems
Sort
View
WACV
2002
IEEE
15 years 11 months ago
Arm Gesture Detection in a Classroom Environment
Detecting human arm motion in a typical classroom environment is a challenging task due to the noisy and highly dynamic background, varying light conditions, as well as the small ...
Jie Yao, Jeremy R. Cooperstock
178
Voted
ICSOC
2009
Springer
15 years 11 months ago
Services Inside the Smart Home: A Simulation and Visualization Tool
Abstract. Pervasive systems, and domotics in particular, is an application area where heterogeneity is the norm, with thousands of autonomous heterogeneous devices live together an...
Elena Lazovik, Piet den Dulk, Martijn de Groote, A...
RTCSA
1999
IEEE
15 years 11 months ago
Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...
Pascal Chevochot, Isabelle Puaut
ICDCS
1993
IEEE
15 years 11 months ago
Diagnosis of Single Transition Faults in Communicating Finite State Machines
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...
DISCO
1992
79views Hardware» more  DISCO 1992»
15 years 11 months ago
REDUCE Meets CAMAL
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
John Fitch