1541 search results - page 269 / 309 » Tools and Techniques for Model Checking Networked Programs |
97
Voted
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...
100
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
132
click to vote
IDA
2008
Springer
15 years 13 hour ago
2008
Springer
We developed Relational Data Mining approach which allows to overcome essential limitations of the Data Mining and Knowledge Discovery techniques. In the paper the approach was im...
118
Voted
ASUNAM
2011
IEEE
14 years 14 days ago
2011
IEEE
—Bibliographic databases are a prosperous field for data mining research and social network analysis. They contain rich information, which can be analyzed across different dimen...
137
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...