Sciweavers

37 search results - page 1 / 8
» dsn 2002
Sort
View
DSN
2002
IEEE
14 years 11 days ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet
DSN
2002
IEEE
14 years 11 days ago
SMART: Stochastic Model-checking Analyzer for Reliability and Timing
Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...
DSN
2002
IEEE
14 years 11 days 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 11 days 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