Sciweavers

4305 search results - page 4 / 861

» Analysing Protocol Implementations

13

WLP
2005
Springer

83views Artificial Intelligence» more WLP 2005»

Analysing the CHR Implementation of Union-Find

14 years 1 months ago

Analysing the CHR Implementation of Union-Find

Download people.cs.kuleuven.be

Tom Schrijvers, Thom W. Frühwirth

claim paper

Read More »

15

ICEIS
2002
IEEE

137views Information Technology» more ICEIS 2002»

A Framework to Analyse Most Critical Work Packages in ERP Implementation Projects

14 years 14 days ago

A Framework to Analyse Most Critical Work Packages in ERP Implementation Projects

Download profesores.ie.edu

José Esteves, Joan Antoni Pastor

claim paper

Read More »

19

ASM
1998
ASM

94views Computational Biology» more ASM 1998»

A Realistic Environment for Crypto-Protocol Analyses by ASMs

13 years 11 months ago

A Realistic Environment for Crypto-Protocol Analyses by ASMs

Download www.eecs.umich.edu

Giampaolo Bella, Elvinia Riccobene

claim paper

Read More »

13

ACJ
2006

86views more ACJ 2006»

Analysing the Woo-Lam Protocol Using CSP and Rank Functions

13 years 7 months ago

Analysing the Woo-Lam Protocol Using CSP and Rank Functions

Download www.jrpit.acs.org.au

Siraj A. Shaikh, Vicky J. Bush

claim paper

Read More »

17

INFOCOM
1998
IEEE

78views Communications» more INFOCOM 1998»

An End-to-End Reliable Multicast Protocol Using Polling for Scaleability

13 years 11 months ago

An End-to-End Reliable Multicast Protocol Using Polling for Scaleability

Download www.cs.ncl.ac.uk

Reliable sender-based one-to-many protocols do not scale well due mainly to implosion caused by excessive rate of feedback packets arriving from receivers. We show that this probl...

Marinho P. Barcellos, Paul D. Ezhilchelvan

claim paper

Read More »

« Prev « First page 4 / 861 Last » Next »