2912 search results - page 147 / 583 » Overlay Networks - Implementation by Specification |
138
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
122
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Knowledge of the network path properties such as latency, hop count, loss and bandwidth is key to the performance of overlay networks, grids and p2p applications. Network operat...
154
Voted
ECOWS
2006
Springer
15 years 7 months ago
2006
Springer
WS-Agreement offers a general language and protocol to establish agreements between two parties. In principle, this generality enables a wide variety of domains to be covered. Yet...
157
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
136
Voted
JMLR
2010
14 years 10 months ago
2010
This paper introduces a Bayesian algorithm for constructing predictive models from data that are optimized to predict a target variable well for a particular instance. This algori...