5012 search results - page 304 / 1003 » Distributed Error Correction |
153
click to vote
ICIW
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the widespread availability of accurate localization technologies, navigation systems are more and more present on mobile devices. These applications usually provide facili...
208
Voted
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
218
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
186
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
1 In multi-site distributed education (MSDE), video streams from multiple sites are available. To best utilize the limited screen space at each site, we develop a customizable, aut...
195
click to vote
IFIP
2005
Springer
16 years 21 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...