554 search results - page 80 / 111 » Communicating Structures for Modeling Large-scale Systems |
117
click to vote
CLIMA
2004
15 years 1 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
108
click to vote
P2P
2003
IEEE
15 years 5 months ago
2003
IEEE
Sensor networks, that consist of potentially several thousands of nodes each with sensing (heat, sound, light, magnetism, etc.) and wireless communication capabilities, provide gr...
106
click to vote
PIMRC
2008
IEEE
15 years 6 months ago
2008
IEEE
—Future generations of mobile operator networks, based on an all-IP-based flat architecture and a multitude of different access technologies, require a proper IP-based mobility ...
IWCMC
2010
ACM
15 years 1 months ago
2010
ACM
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
106
click to vote
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we study the distributed multi-channel power allocation for spectrum sharing cognitive radio networks with QoS guarantee. We formulate this problem as a noncoopera...