3742 search results - page 653 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
In recent years, the number of patents filed by the business enterprises in the technology industry are growing rapidly, thus providing unprecedented opportunities for knowledge d...
185
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
176
click to vote
VTC
2007
IEEE
16 years 17 days ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
190
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
As the amount of personal information stored at remote service providers increases, so does the danger of data theft. When connections to remote services are made in the clear and ...
166
click to vote
TITS
2008
15 years 6 months ago
2008
Abstract--This paper presents an efficient technique for estimating the pose of an onboard stereo vision system relative to the environment's dominant surface area, which is s...