Search Sciweavers | Sciweavers

20638 search results - page 310 / 4128

» Computer Networks

171

click to vote

AINA
2003
IEEE

112views Computer Networks» more AINA 2003»

Content-Based Information Retrieval for VRML 3D Objects

16 years 17 days ago

Download ir.lib.au.edu.tw

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

claim paper

Read More »

152

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 16 days ago

Download rw4.cs.uni-sb.de

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

claim paper

Read More »

159

click to vote

DSN
2002
IEEE

92views Computer Networks» more DSN 2002»

SMART: Stochastic Model-checking Analyzer for Reliability and Timing

16 years 6 days ago

Download www.cs.ucr.edu

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

claim paper

Read More »

132

click to vote

DSN
2002
IEEE

118views Computer Networks» more DSN 2002»

An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications

16 years 6 days ago

Download www.crhc.illinois.edu

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

claim paper

Read More »

134

click to vote

ICNP
2002
IEEE

120views Computer Networks» more ICNP 2002»

A Formal Approach for Passive Testing of Protocol Data Portions

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers