1567 search results - page 212 / 314 » A Mechanized Model of the Theory of Objects |
107
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Fashion signals are displayed to indicate access to information. Consistent, timely, and meaningful signal displays are only made possible if one is well-connected. While fashion ...
SAGT
2009
Springer
15 years 8 months ago
2009
Springer
We study economic means to improve network performance in the well-known game theoretic traffic model due to Wardrop. We introduce two sorts of spam flow - auxiliary and adversari...
125
click to vote
GLOBECOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
100
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
93
Voted
COMPGEOM
2010
ACM
15 years 6 months ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...