475 search results - page 76 / 95 » Reasoning About the Transfer of Control |
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
ICIAR
2005
Springer
14 years 1 months ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
RE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the use of Obstacle Analysis to identify anomaly-handling requirements for a safetycritical, autonomous system. The software requirements for the system evolv...
RTSS
2003
IEEE
14 years 25 days ago
2003
IEEE
Preventing denial-of-service attacks in wireless sensor networks is difficult primarily because of the limited resources available to network nodes and the ease with which attacks...
CA
2002
IEEE
14 years 16 days ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...