526 search results - page 38 / 106 » Towards the Verifying Compiler |
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper we present a polynomial Navigation Function (NF) for a sphere world that can be constructed almost locally, with partial knowledge of the environment. The present...
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
ICSNC
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose a middleware architecture for GSM mobile phones that makes applications for mobile phones platform independent to a large extent as well as the applications made using ...