5015 search results - page 396 / 1003 » Model Checking a Path |
169
click to vote
ICCSA
2005
Springer
16 years 6 days ago
2005
Springer
Data protection is an increasingly important issue in today’s communication networks. Traditional solutions for protecting data when transferred over a network are almost exclusi...
154
click to vote
VLDB
2004
ACM
16 years 1 days ago
2004
ACM
Different models have been proposed recently for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XM...
167
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— Network survivability is a crucial requirement in high-speed optical networks. Typical approaches of providing survivability have considered the failure of a single component s...
171
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes some initial steps towards sensor based path planning in an unknown static environment. The method is a based on a sensor-based incremental construction of a o...
186
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...