4809 search results - page 308 / 962 » Scalable Analysis of Scalable Systems |
173
click to vote
JCM
2006
15 years 7 months ago
2006
Abstract-- Creating high quality network trace files is a difficult task to accomplish on a limited budget. High network speeds may overburden an individual system running packet l...
202
click to vote
PAMI
2002
15 years 7 months ago
2002
We describe a robust and efficient system for recognizing typeset and handwritten mathematical notation. From a list of symbols with bounding boxes the system analyzes an expressio...
313
click to vote
FASE
2011
Springer
14 years 11 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
198
click to vote
ADHOCNOW
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. The resource limited nature of WSNs require that protocols implemented on these networks be energy-efficient, scalable and distributed. This paper presents an analysis of...
210
click to vote
ICDCS
2002
IEEE
16 years 9 days ago
2002
IEEE
Group key agreement is a fundamental building block for secure peer group communication systems. Several group key agreement protocols were proposed in the last decade, all of the...