1402 search results - page 189 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
145
click to vote
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
166
Voted
ISPAN
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
148
click to vote
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
176
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—MapReduce has emerged as a popular tool for distributed and scalable processing of massive data sets and is increasingly being used in e-science applications. Unfortunately, the...
128
click to vote
CLUSTER
2007
IEEE
15 years 8 months ago
2007
IEEE
Bulk memory copies incur large overheads such as CPU stalling (i.e., no overlap of computation with memory copy operation), small register-size data movement, cache pollution, etc...