Search Sciweavers | Sciweavers

20813 search results - page 387 / 4163

» Introduction to Computer Networking

165

click to vote

AINA
2003
IEEE

112views Computer Networks» more AINA 2003»

Content-Based Information Retrieval for VRML 3D Objects

16 years 10 days ago

Download ir.lib.au.edu.tw

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

claim paper

Read More »

148

click to vote

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

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

16 years 10 days ago

Download rw4.cs.uni-sb.de

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

claim paper

Read More »

151

click to vote

DSN
2002
IEEE

92views Computer Networks» more DSN 2002»

SMART: Stochastic Model-checking Analyzer for Reliability and Timing

15 years 12 months ago

Download www.cs.ucr.edu

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

claim paper

Read More »

126

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 12 months ago

Download www.crhc.illinois.edu

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

claim paper

Read More »

129

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers