Sciweavers

2009 search results - page 175 / 402
» Towards Self-Configuring Networks
Sort
View
NCA
2008
IEEE
15 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
AINA
2006
IEEE
15 years 11 months ago
The Impact of End-to-end vs. Link-layer Mechanisms on Real-Time Performance over Wireless Links
We evaluate selected research proposals towards the efficient real-time QoS management over wireless links. We mainly focus on real-time performance of link- and transport-level m...
Panagiotis Papadimitriou, Vassilis Tsaoussidis, Ag...
TRIDENTCOM
2006
IEEE
15 years 11 months ago
Description of an IPv6 Linux-based UTRAN testbed
— Network modelling and traffic characterisation are essential research activities towards the optimisation of UMTS. We present here our IPv6 Linux-based UTRAN testbed which aim...
Hugues van Peteghem, Laurent Schumacher
AINA
2005
IEEE
15 years 10 months ago
On the Distributed Management of SCORM-Compliant Course Contents
SCORM's environment and its complex metadata make distributed LMSs difficult to communicate with each other, therefore hindering the content management and sharing. In order ...
Sheng-Tun Li, Chu-Hung Lin
ICNP
2005
IEEE
15 years 10 months ago
A Family of Collusion Resistant Protocols for Instantiating Security
In this paper, we focus on the problem of identifying a family of collusion resistant protocols that demonstrate a tradeoff between the number of secrets that users maintain and t...
Sandeep S. Kulkarni, Bezawada Bruhadeshwar