9305 search results - page 1445 / 1861 » Modeling Blog Dynamics |
169
click to vote
SAC
2009
ACM
16 years 1 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...
147
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
Existing hierarchical summarization techniques fail to provide synopses good in terms of relative-error metrics. This paper introduces multiplicative synopses: a summarization par...
194
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
— User’s requirements have become a key factor for any Quality of Service (QoS) management model to succeed. The advent and rise of new broadband services and network architect...
183
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
161
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose an interference-aware MAC protocol using a simple transmission strategy motivated by a gametheoretic approach. We formulate a channel access game, which considers nod...