Search Sciweavers | Sciweavers

4305 search results - page 37 / 861

» Analysing Protocol Implementations

click to vote

HASE
2007
IEEE

83views Control Systems» more HASE 2007»

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation

15 years 9 months ago

Download www.deeds.informatik.tu-darmstadt.de

Péter Bokor, Marco Serafini, Áron Si...

claim paper

Read More »

click to vote

SAC
2006
ACM

83views Applied Computing» more SAC 2006»

Service interface: a new abstraction for implementing and composing protocols

15 years 9 months ago

Download www.cs.put.poznan.pl

Olivier Rütti, Pawel T. Wojciechowski, Andr&e...

claim paper

Read More »

click to vote

ANSS
2005
IEEE

77views Modeling and Simulation» more ANSS 2005»

Design and Implementation of a Library of Network Protocols in CD++

15 years 8 months ago

Download www.sce.carleton.ca

Mohamed Abd El-Salam Ahmed, Khalil Yonis, Abdul-Ra...

claim paper

Read More »

158

click to vote

ERLANG
2004
ACM

215views Programming Languages» more ERLANG 2004»

An implementation of the SMB protocol in erlang

15 years 8 months ago

Download www.erlang.se

Torbjrn Trnkvist

claim paper

Read More »

108

click to vote

SAINT
2003
IEEE

76views Internet Technology» more SAINT 2003»

MLDv2 Protocol Design, Implementation and Evaluation for Source-Specific Multicast over IPv6

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers