Sciweavers

878 search results - page 137 / 176
» Modelling Communicating Agents in Timed Reasoning Logics
Sort
View
INFOCOM
2009
IEEE
15 years 6 months ago
On the Market Power of Network Coding in P2P Content Distribution Systems
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
Xinyu Zhang, Baochun Li
TRUSTBUS
2007
Springer
15 years 6 months ago
The Meaning of Logs
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
Sandro Etalle, Fabio Massacci, Artsiom Yautsiukhin
BIRTHDAY
2008
Springer
15 years 1 months ago
A Category of Explicit Fusions
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
SG
2005
Springer
15 years 5 months ago
From Artefact Representation to Information Visualisation: Genesis of Informative Modelling
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
Iwona Dudek, Jean-Yves Blaise
INFOCOM
2006
IEEE
15 years 5 months ago
Wealth-Based Evolution Model for the Internet AS-Level Topology
— In this paper, we seek to understand the intrinsic reasons for the well-known phenomenon of heavy-tailed degree in the Internet AS graph and argue that in contrast to tradition...
Xiaoming Wang, Dmitri Loguinov