Sciweavers

4795 search results - page 585 / 959
» The Message Classification Model
Sort
View
IEEEARES
2010
IEEE
16 years 1 months ago
Pitfalls in Formal Reasoning about Security Protocols
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
Nina Moebius, Kurt Stenzel, Wolfgang Reif
ICC
2009
IEEE
147views Communications» more  ICC 2009»
16 years 1 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
ICC
2009
IEEE
103views Communications» more  ICC 2009»
16 years 1 months ago
A Distributed Algorithm for Least Constraining Slot Allocation in MPLS Optical TDM Networks
- In this paper, we propose a distributed approach for the least constraining slot allocation scheme in all-optical TDM networks (LC) that was introduced in a previous work. The dr...
Hassan Zeineddine, Gregor von Bochmann
159
Voted
IPPS
2009
IEEE
16 years 1 months ago
An analysis of the impact of multi-threading on communication performance
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
François Trahay, Elisabeth Brunet, Alexandr...
MOBILWARE
2009
ACM
16 years 1 months ago
Chapar: A Cross-Layer Overlay Event System for MANETs
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
Amir R. Khakpour, Isabelle M. Demeure