2162 search results - page 208 / 433 » A Meta-Notation for Protocol Analysis |
187
Voted
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
161
Voted
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
With the growth and acceptance of the Internet, there has been increased interest in maintaining anonymity in the network. Using traffic analysis, it is possible to infer who is t...
153
Voted
SIAMAM
2008
15 years 4 months ago
2008
We present a new local tomographic algorithm applicable to electron microscope tomography. Our algorithm applies to the standard data acquisition method, single-axis tilting, as we...
135
Voted
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...
224
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—As the rapid expansion of smart phones and associated data-intensive applications continues, we expect to see renewed interest in dynamic prioritization schemes as a way...