Search Sciweavers | Sciweavers

20638 search results - page 310 / 4128

» Computer Networks

158

click to vote

AINA
2003
IEEE

112views Computer Networks» more AINA 2003»

Content-Based Information Retrieval for VRML 3D Objects

15 years 12 months ago

Download ir.lib.au.edu.tw

Ching-Sheng Wang, Timothy K. Shih, Chun-Hung Huang...

claim paper

Read More »

142

click to vote

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

15 years 12 months ago

Download rw4.cs.uni-sb.de

Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...

claim paper

Read More »

140

click to vote

DSN
2002
IEEE

92views Computer Networks» more DSN 2002»

SMART: Stochastic Model-checking Analyzer for Reliability and Timing

15 years 11 months ago

Download www.cs.ucr.edu

Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...

claim paper

Read More »

118

click to vote

DSN
2002
IEEE

118views Computer Networks» more DSN 2002»

An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications

15 years 11 months ago

Download www.crhc.illinois.edu

Keith Whisnant, Ravishankar K. Iyer, P. Jones, Rap...

claim paper

Read More »

122

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers