Sciweavers

NCA
2008
IEEE
13 years 11 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
NCA
2008
IEEE
13 years 11 months ago
APART: Low Cost Active Replication for Multi-tier Data Acquisition Systems
This paper proposes APART (A Posteriori Active ReplicaTion), a novel active replication protocol specifically tailored for multi-tier data acquisition systems. Unlike existing ac...
Paolo Romano, Diego Rughetti, Francesco Quaglia, B...
NCA
2008
IEEE
13 years 11 months ago
Supporting Concurrent Task Deployment Wireless Sensor Networks
Song Guo, Chunxia Fan, Thomas D. C. Little
NCA
2008
IEEE
13 years 11 months ago
Dynamic Routing Selection for Wireless Sensor Networks
Wang Ke, Thomas D. C. Little
NCA
2009
IEEE
13 years 11 months ago
Attribute-Based Prevention of Phishing Attacks
Abstract—This paper describes a set of innovative attributebased checks for defending against phishing attacks1 . We explain a number of anti-phishing algorithms implemented as p...
Michael Atighetchi, Partha Pratim Pal
NCA
2009
IEEE
13 years 11 months ago
A Distributed Algorithm for Web Content Replication
—Web caching and replication techniques increase accessibility of Web contents and reduce Internet bandwidth requirements. In this paper, we are considering the replica placement...
Sharrukh Zaman, Daniel Grosu
NCA
2009
IEEE
13 years 11 months ago
Performance Evaluation of Concurrent Multipath Transfer Using SCTP Multihoming in Multihop Wireless Networks
—A transport layer protocol supporting multihoming allows an application to transmit data via multiple paths simultaneously (termed concurrent multipath transfer, or CMT for shor...
Ilknur Aydin, Chien-Chung Shen
NCA
2009
IEEE
13 years 11 months ago
Optimizations of Large Receive Offload in Xen
Fumio Nakanjima, Hitoshi Oi
NCA
2009
IEEE
13 years 11 months ago
Seed Scheduling for Peer-to-Peer Networks
—The initial phase in a content distribution (file sharing) scenario is delicate due to the lack of global knowledge and the dynamics of the overlay. An unwise distribution of t...
Flavio Esposito, Ibrahim Matta, Pietro Michiardi, ...
NCA
2009
IEEE
13 years 11 months ago
Functional and Performance Analysis of CalRadio 1 Platform
— CalRadio 1 is an open 802.11b-compatible development platform, designed and developed at UCSD with the aim of providing the research community with an open and fully reprogramm...
Riccardo Manfrin, Andrea Zanella, Michele Zorzi