Sciweavers

166 search results - page 16 / 34
» Timed Behavior Trees and Their Application to Verifying Real...
Sort
View
ADAEUROPE
2005
Springer
13 years 10 months ago
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
José María Martínez, Michael ...
CVPR
2003
IEEE
14 years 10 months ago
Fusing Online and Offline Information for Stable 3D Tracking in Real-Time
We propose an efficient online real-time solution for singlecamera 3?D tracking of rigid objects that can handle large camera displacements, drastic aspect changes, and partial oc...
Luca Vacchetti, Vincent Lepetit, Pascal Fua
CANDC
2007
ACM
14 years 18 days ago
Eco-visualization: combining art and technology to reduce energy consumption
Can creative visualizations of real time energy consumption patterns trigger more ecologically responsible behavior? Media art that displays the real time usage of key resources s...
Tiffany Holmes
CASES
2005
ACM
13 years 10 months ago
Anomalous path detection with hardware support
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
Tao Zhang, Xiaotong Zhuang, Santosh Pande, Wenke L...
RTCSA
2008
IEEE
14 years 3 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...