Sciweavers

913 search results - page 128 / 183
» Full Abstraction for Linda
Sort
View
RAID
2010
Springer
13 years 7 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
SIGMOD
2010
ACM
202views Database» more  SIGMOD 2010»
13 years 7 months ago
Beyond isolation: research opportunities in declarative data-driven coordination
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
Lucja Kot, Nitin Gupta 0003, Sudip Roy, Johannes G...
SUM
2010
Springer
13 years 7 months ago
Handling Inconsistency with Preference-Based Argumentation
Abstract. Argumentation is a promising approach for handling inconsistent knowledge bases, based on the justification of plausible conclusions by arguments. Due to inconsistency, ...
Leila Amgoud, Srdjan Vesic
TCOM
2010
80views more  TCOM 2010»
13 years 7 months ago
A Relay Assisted Cooperative Transmission Protocol for Wireless Multiple Access Systems
Abstract—In this paper, we propose a spectrally efficient cooperative transmission protocol for multiple access scenarios. The key feature is to utilize multi-user diversity and...
Zhiguo Ding, Kin K. Leung, Dennis Goeckel, Donald ...
TIP
2010
150views more  TIP 2010»
13 years 7 months ago
Study of Subjective and Objective Quality Assessment of Video
Abstract—We present the results of a recent large-scale subjective study of video quality on a collection of videos distorted by a variety of application-relevant processes. Meth...
Kalpana Seshadrinathan, Rajiv Soundararajan, Alan ...