1402 search results - page 123 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
150
Voted
AMR
2005
Springer
15 years 9 months ago
2005
Springer
As Consumer Electronics devices get interconnected, the issue of aligning their data management solutions becomes prominent. If we want to deploy comprehensive applications that ar...
137
Voted
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
140
Voted
TPDS
2008
15 years 3 months ago
2008
Content services such as content filtering and transcoding adapt contents to meet system requirements, display capacities, or user preferences. Data security in such a framework is...
258
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
116
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Multimedia applications for mobile devices, such as video/audio streaming, process streams of incoming data in a regular, predictable way. Content-aware optimizations through anno...