Search Sciweavers | Sciweavers

727 search results - page 7 / 146

» ads 2004

click to vote

FORTE
2004

225views Formal Methods» more FORTE 2004»

Automatized Verification of Ad Hoc Routing Protocols

14 years 10 months ago

Download user.it.uu.se

Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...

Oskar Wibling, Joachim Parrow, Arnold Neville Pear...

claim paper

Read More »

click to vote

ADS
2004
Springer

235views Computer Graphics» more ADS 2004»

Conversational H.C. Andersen First Prototype Description

15 years 2 months ago

Download www.ling.uni-potsdam.de

Niels Ole Bernsen, Marcela Charfuelan, Andrea Corr...

claim paper

Read More »

click to vote

EXTREME
2004
ACM

116views Natural Language Processing» more EXTREME 2004»

DTD++ 2.0: Adding support for co-constraints

15 years 2 months ago

Download tesi.fabio.web.cs.unibo.it

Davide Fiorello, Nicola Gessa, Paolo Marinelli, Fa...

claim paper

Read More »

click to vote

EUC
2004
Springer

71views Applied Computing» more EUC 2004»

A Power-Based Clustering Algorithm for Wireless Ad-Hoc Networks

15 years 2 months ago

Download etd.lib.nsysu.edu.tw

Tsung-Chuan Huang, Liang-Cheng Shiu, Yan-Feng Chen

claim paper

Read More »

click to vote

ICT
2004
Springer

123views Communications» more ICT 2004»

PRDS: A Priority Based Route Discovery Strategy for Mobile Ad Hoc Networks

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers