4211 search results - page 449 / 843 » A formal approach to MASQ |
191
click to vote
ICRA
2006
IEEE
16 years 28 days ago
2006
IEEE
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
178
click to vote
ICSM
2006
IEEE
16 years 28 days ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
170
click to vote
IPCCC
2006
IEEE
16 years 28 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
178
click to vote
ISCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
— This paper describes a general approach for the unsupervised learning of behaviors in a behavior-based robot. The key idea is to formalize a behavior produced by a Motor Map dr...
211
click to vote
ACSAC
2005
IEEE
16 years 16 days 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...