128 search results - page 12 / 26 » Forward Analysis of Depth-Bounded Processes |
CSFW
2012
IEEE
11 years 9 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
PIMRC
2010
IEEE
13 years 5 months ago
2010
IEEE
Wireless over Cable (WoC) paradigm is a new technique to enable distributed antennas systems. WoC is based on the relay of radio frequency wireless signals over a cable infrastruct...
JCIT
2010
13 years 2 months ago
2010
Voice over Internet Protocol (VoIP) is a general term for a family of transmission technologies to delivery of voice communications over IP networks such as the Internet or other ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...