Sciweavers

37 search results - page 1 / 8
» dsn 2002
Sort
View
DSN
2002
IEEE
13 years 10 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
DSN
2002
IEEE
13 years 10 months ago
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
Keith Whisnant, Ravishankar K. Iyer, P. Jones, Rap...
DSN
2002
IEEE
13 years 10 months ago
SMART: Stochastic Model-checking Analyzer for Reliability and Timing
Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...
DSN
2002
IEEE
13 years 10 months ago
Measuring End-User Availability on the Web: Practical Experience
For service applications on a network, measuring availability, performance, and quality of service is critical. Yet traditional software and hardware measures are both inadequate ...
Matthew Merzbacher, Dan Patterson
DSN
2002
IEEE
13 years 10 months ago
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period
This paper deals with the performance analysis of a system modeled by a queue. If we are interested in occupation problems and if we look at the transient phase, then it makes sen...
Gerardo Rubino