2765 search results - page 318 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
176
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...
210
click to vote
USENIX
2007
15 years 9 months ago
2007
Current approaches to power management are based on operating systems with full knowledge of and full control over the underlying hardware; the distributed nature of multi-layered...
161
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
164
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
186
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...