289 search results - page 44 / 58 » Timed, Distributed, Probabilistic, Typed Processes |
OTM
2007
Springer
14 years 2 months ago
2007
Springer
HARC—the Highly-Available Resource Co-allocator—is an open-source system for reserving multiple resources in a coordinated fashion. HARC can handle different types of resource...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
A dynamic model of a multiagent system defines a probability distribution over possible system behaviors over time. Alternative representations for such models present tradeoffs i...
MOBICOM
2009
ACM
14 years 3 months ago
2009
ACM
Intended for network-wide dissemination of commands, configurations and code binaries, flooding has been investigated extensively in wireless networks. However, little work has ...
BMCBI
2008
13 years 8 months ago
2008
Background: Mixture models of mutagenetic trees are evolutionary models that capture several pathways of ordered accumulation of genetic events observed in different subsets of pa...
WDAG
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...