Sciweavers

5325 search results - page 78 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
USS
2004
15 years 7 months ago
Side Effects Are Not Sufficient to Authenticate Software
Kennell and Jamieson [KJ03] recently introduced the Genuinity system for authenticating trusted software on a remote machine without using trusted hardware. Genuinity relies on ma...
Umesh Shankar, Monica Chew, J. D. Tygar
RSS
2007
154views Robotics» more  RSS 2007»
15 years 7 months ago
Sliding mode formation tracking control of a tractor and trailer-car system
— In this paper a new leader-follower formation of nonholonomic mobile robots is studied. The follower is a car-like vehicle and the leader is a tractor pulling a trailer. The le...
Fabio Morbidi, Domenico Prattichizzo
CDC
2010
IEEE
170views Control Systems» more  CDC 2010»
15 years 1 months ago
Motion planning with hybrid dynamics and temporal goals
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
IANDC
2010
87views more  IANDC 2010»
15 years 3 months ago
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
We consider the dynamical behavior of Martin-L
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
HICSS
2006
IEEE
142views Biometrics» more  HICSS 2006»
16 years 10 days ago
Measuring the Effectiveness of Honeypot Counter-Counterdeception
Honeypots are computer systems that try to fool cyberattackers into thinking they are ordinary computer systems, when in fact they are designed solely to collect data about attack...
Neil C. Rowe