605 search results - page 15 / 121 » A strategy for efficiently verifying requirements |
EMSOFT
2006
Springer
14 years 19 days ago
2006
Springer
Engine Control Systems (ECS) for automobiles have numerous variants for many manufactures and different markets. To improve development efficiency, exploiting ECS commonalities an...
ICINCO
2004
13 years 10 months ago
2004
: We present a vision-based robotic system which uses a combination of several active sensing strategies to grip a free-standing small target object with an initially unknown posit...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
AINA
2006
IEEE
14 years 22 days ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
ISCC
2006
IEEE
14 years 3 months ago
2006
IEEE
The rapid diffusion of heterogeneous forms of wireless connectivity is pushing the tremendous growth of the commercial interest in mobile services, i.e., distributed applications ...