2500 search results - page 406 / 500 » Specifying Behavior in C |
157
Voted
SIGMETRICS
2011
ACM
14 years 6 months ago
2011
ACM
Threshold-based performance monitoring in large 3G networks is very challenging for two main factors: large network scale and dynamics in both time and spatial domains. There exis...
296
click to vote
ECWEB
2011
Springer
14 years 3 months ago
2011
Springer
The community of multi-agent systems has been studying ways to improve the selection of partner agents for joint action. One of such approaches consists in estimating the trustwort...
138
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
169
Voted
SIGMETRICS
2012
ACM
13 years 5 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
123
Voted
PKC
2012
Springer
13 years 5 months ago
2012
Springer
We identify a potential weakness in the standard security model for dynamic group signatures which appears to have been overlooked previously. More specifically, we highlight tha...