3272 search results - page 578 / 655 » Introduction to Software Performance Engineering |
118
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
116
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
125
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
111
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
96
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
While numerous metrics for information retrieval are available in the case of binary relevance, there is only one commonly used metric for graded relevance, namely the Discounted ...