1297 search results - page 142 / 260 » Control of systems integrating logic, dynamics, and constrai... |
118
click to vote
ICRA
1994
IEEE
15 years 5 months ago
1994
IEEE
The Network Data Delivery Service NDDS is a novel network data-sharing system. NDDS builds on the model of information producers sources and consumers sinks. Producers generate da...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
144
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
87
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
114
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...