1362 search results - page 211 / 273 » Model Checking Large Network Protocol Implementations |
164
click to vote
PIMRC
2010
IEEE
15 years 25 days ago
2010
IEEE
Wireless multihop ad hoc networks face a multitude of challenging problems including highly dynamic multihop topologies, lossy and noisy communications channels, and sporadic conne...
132
click to vote
EDBT
2010
ACM
15 years 6 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
155
click to vote
KDD
2012
ACM
13 years 5 months ago
2012
ACM
Accurate prediction of user behaviors is important for many social media applications, including social marketing, personalization and recommendation, etc. A major challenge lies ...
176
click to vote
SASN
2006
ACM
15 years 9 months ago
2006
ACM
A great challenge in securing sensor networks is that sensor nodes can be physically compromised. Once a node is compromised, attackers can retrieve secret information (e.g. keys)...
104
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...