5015 search results - page 460 / 1003 » Model Checking a Path |
216
click to vote
ISCIS
2005
Springer
16 years 9 days ago
2005
Springer
Ad hoc networks, being able to organize themselves without user intervention, can easily provide their users with mobility, multimedia support and group communication. However, the...
164
click to vote
ICRA
2003
IEEE
16 years 2 days ago
2003
IEEE
In Robotics, many path-planning algorithms have been proposed but almost all are evaluated only by their path lengths in PC. However, the evaluation is completely independent of a...
182
Voted
EUC
2004
Springer
15 years 10 months ago
2004
Springer
Servicing mobile hosts over the Internet has some problems including nodes' location, independent addressing, address conversion and packet forwarding as well as mobile host&#...
200
Voted
DAGSTUHL
1990
15 years 8 months ago
1990
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...
186
click to vote
CHES
2010
Springer
15 years 8 months ago
2010
Springer
This paper introduces a new class of optical fault injection attacks called bumping attacks. These attacks are aimed at data extraction from secure embedded memory, which usually s...