2162 search results - page 339 / 433 » A Meta-Notation for Protocol Analysis |
105
click to vote
ACMSE
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
127
click to vote
SINOBIOMETRICS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, three baseline face recognition algorithms are evaluated on the CAS-PEAL-R1 face database which is publicly released from a large-scale Chinese face database: CAS-PE...
ECRTS
2002
IEEE
15 years 2 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
128
Voted
ACMSE
2008
ACM
14 years 12 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...