5012 search results - page 304 / 1003 » Distributed Error Correction |
142
click to vote
ICIW
2007
IEEE
16 years 28 days 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...
190
click to vote
NCA
2007
IEEE
16 years 27 days 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...
200
click to vote
RSP
2007
IEEE
16 years 27 days 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...
164
click to vote
ICMCS
2006
IEEE
16 years 19 days 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...
176
Voted
IFIP
2005
Springer
16 years 3 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...