4250 search results - page 763 / 850 » Understanding the Requirements on Modelling Techniques |
DSN
2009
IEEE
13 years 6 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
IJRR
2011
13 years 4 months ago
2011
The task of teleoperating a robot over a wireless video link is known to be very difficult. Teleoperation becomes even more difficult when the robot is surrounded by dense obstac...
NFM
2011
13 years 4 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
STTT
2011
13 years 4 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
INFOCOM
2011
IEEE
13 years 14 days ago
2011
IEEE
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...