671 search results - page 47 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
ENTCS
2006
15 years 1 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
170
click to vote
ICCCN
1998
IEEE
15 years 5 months ago
1998
IEEE
We evaluate several routing protocols for mobile, wireless, ad hoc networks via packet level simulations. The protocol suite includes routing protocols specifically designed for a...
138
click to vote
EUROPAR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
111
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
139
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...