3175 search results - page 80 / 635 » Network properties of folksonomies |
128
click to vote
FMICS
2010
Springer
15 years 2 days ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
IEPOL
2010
14 years 9 months ago
2010
In this paper, we consider the competition of providers of information products against P2P networks that offer illegal versions of the information products. Depending on the gene...
105
click to vote
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
—The connected dominating set (CDS) has been commonly used for routing and broadcast in mobile ad hoc networks (MANETs). Considering the applications of MANETs, it is generally p...
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Motivated by the recent findings of super-diffusive patterns in mobility traces, we investigate the impact of superdiffusive behavior of mobile nodes on contact-based metrics ...
AEI
2008
15 years 1 days ago
2008
The paper proposes a methodology to assist the designer at the initial stages of the design synthesis process by enabling him/her to employ knowledge and algorithms existing in gr...