12301 search results - page 2283 / 2461 » Distributed Computation in Dynamic Networks |
141
Voted
SIAMCO
2010
15 years 1 months ago
2010
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
224
click to vote
SOCA
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we focus on how Quality of Service guarantees are provided to virtualised applications in the Cloud Computing infrastructure that is being developed in the context of...
116
click to vote
CCR
2010
15 years 25 days ago
2010
The cybersecurity information exchange framework, known as CYBEX, is currently undergoing its first iteration of standardization efforts within ITU-T. The framework describes how ...
164
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
117
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Group-Centric Secure Information Sharing (g-SIS) is motivated by the need to dynamically share information amongst a set of authorized users for a specific purpose. Authorized ...