3071 search results - page 437 / 615 » Explanatory Design Theory |
184
click to vote
IROS
2006
IEEE
16 years 17 days ago
2006
IEEE
— This paper presents a self-localization strategy for a team of heterogenous mobile robots, including ground mobile robots of various sizes and wall-climbing robots. These robot...
177
click to vote
PRDC
2006
IEEE
16 years 17 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
180
click to vote
RTAS
2006
IEEE
16 years 17 days ago
2006
IEEE
A good amount of research has been developed to support QoS issues in IEEE 802.11 ad hoc networks, such as QoS routing, MAC layer QoS support, and cross-layer QoS design. However,...
148
click to vote
SP
2006
IEEE
16 years 17 days ago
2006
IEEE
Hidden services were deployed on the Tor anonymous communication network in 2004. Announced properties include server resistance to distributed DoS. Both the EFF and Reporters Wit...
173
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...