82 search results - page 12 / 17 » Specification and Validation of Behavioural Protocols in the... |
104
click to vote
SPW
1999
Springer
15 years 3 months ago
1999
Springer
This paper presents a comprehensive study on the performance of common MANET (mobile ad hoc network) routing protocols under realistic network scenarios. The routing protocols use...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
CONCUR
2010
Springer
15 years 21 days ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
TON
2010
14 years 10 months ago
2010
—This paper develops a simple and accurate stochastic model for the steady-state throughput of a TCP NewReno bulk data transfer as a function of round-trip time and loss rate. Ou...
104
click to vote
CADUI
2004
15 years 1 months ago
2004
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...