Sciweavers

2009 search results - page 175 / 402
» Towards Self-Configuring Networks
Sort
View
204
Voted
NCA
2008
IEEE
16 years 1 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
149
Voted
AINA
2006
IEEE
16 years 1 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
16 years 29 days 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
16 years 18 days 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
16 years 17 days 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