16832 search results - page 3195 / 3367 » Scenario Based Evaluation |
181
click to vote
NDSS
2007
IEEE
16 years 24 days ago
2007
IEEE
The need for communication privacy over public networks is of growing concern in today’s society. As a result, privacy-preserving authentication and key exchange protocols have ...
166
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
207
click to vote
RTCSA
2007
IEEE
16 years 24 days ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...
167
click to vote
SASO
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
169
click to vote
NCA
2007
IEEE
16 years 22 days ago
2007
IEEE
Our research addresses two important problems that arise in modern large-scale distributed systems: (1) the necessity to virtualize their data flows by applying actions such as ...