Sciweavers

1660 search results - page 332 / 332
» Forwarding in a content-based network
Sort
View
FAC
2010
121views more  FAC 2010»
13 years 2 months ago
Blaming the client: on data refinement in the presence of pointers
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith...
TSP
2010
12 years 11 months ago
Mitigating channel estimation error with timing synchronization tradeoff in cooperative communications
Channel estimation error and co-channel interference (CCI) problems are among the main causes of performance degradation in wireless networks. In this paper, we investigate the im...
Ahmed S. Ibrahim, K. J. Ray Liu
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
12 years 7 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
ICDCS
2012
IEEE
11 years 7 months ago
Scalable Name Lookup in NDN Using Effective Name Component Encoding
—Name-based route lookup is a key function for Named Data Networking (NDN). The NDN names are hierarchical and have variable and unbounded lengths, which are much longer than IPv...
Yi Wang, Keqiang He, Huichen Dai, Wei Meng, Junche...
ASIAN
2005
Springer
178views Algorithms» more  ASIAN 2005»
13 years 10 months ago
An Approach for Service Discovery Based on Semantic Peer-to-Peer
The service discovery is a key step during Peer-to-Peer (P2P) converging with Web Service. In this paper, a semantic-P2P based approach is presented for web service discovery. To e...
Hao Wu, Hai Jin, Yunfa Li, Hanhan Chen