Sciweavers

5114 search results - page 381 / 1023
» Complex networks
Sort
View
CONCUR
2009
Springer
15 years 11 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ICC
2007
IEEE
162views Communications» more  ICC 2007»
15 years 10 months ago
Ontology-Based Reasoning for Supporting Context-Aware Services on Autonomic Networks
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
Jaime Martín Serrano, Joan Serrat, John Str...
ASAP
2006
IEEE
147views Hardware» more  ASAP 2006»
15 years 6 months ago
Reconfigurable Shuffle Network Design in LDPC Decoders
Several semi-parallel decoding architectures have been explored by researchers for the quasi-cyclic low density parity check (LDPC) codes. In these architectures, the reconfigurab...
Jun Tang, Tejas Bhatt, Vishwas Sundaramurthy
KAIS
2010
139views more  KAIS 2010»
15 years 2 months ago
Periodic subgraph mining in dynamic networks
In systems of interacting entities such as social networks, interactions that occur regularly typically correspond to significant, yet often infrequent and hard to detect, interact...
Mayank Lahiri, Tanya Y. Berger-Wolf
SIGCOMM
2006
ACM
15 years 10 months ago
Measurement-based models of delivery and interference in static wireless networks
We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of ...
Charles Reis, Ratul Mahajan, Maya Rodrig, David We...