Sciweavers

37 search results - page 1 / 8
» dsn 2002
Sort
View
DSN
2002
IEEE
14 years 2 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
DSN
2002
IEEE
14 years 2 months ago
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
Keith Whisnant, Ravishankar K. Iyer, P. Jones, Rap...
DSN
2002
IEEE
14 years 2 months ago
SMART: Stochastic Model-checking Analyzer for Reliability and Timing
Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...
DSN
2002
IEEE
14 years 2 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
14 years 2 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