9110 search results - page 1684 / 1822 » Formally-Based Design Evaluation |
189
click to vote
INFOCOM
2008
IEEE
16 years 24 days ago
2008
IEEE
—We develop a practical and comprehensive hybrid rogue access point (AP) detection framework for commodity WiFi networks. It is the first scheme that combines the distributed wi...
168
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
Adaptive replication of data items on servers of a mobile ad hoc network can alleviate access delays. The selection of data items and servers requires solving a constrained optimi...
159
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
—We present a novel particle filter implementation for estimating the pose of tags in the environment with respect to an RFID-equipped robot. This particle filter combines sign...
182
click to vote
NDSS
2008
IEEE
16 years 24 days ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
186
click to vote
NOMS
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract—Application servers are a core component of a multitier architecture that has become the industry standard for building scalable client-server applications. A client com...