2909 search results - page 25 / 582 » Consistency of the theory of contexts |
110
click to vote
SPAA
2005
ACM
15 years 7 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
123
click to vote
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
A consistent backup, preserving data integrity across files in a file system, is of utmost importance for the purpose of correctness and minimizing system downtime during the proc...
138
click to vote
PERCOM
2004
ACM
16 years 1 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...
132
click to vote
TVCG
2010
15 years 8 days ago
2010
—In this paper, we introduce a feature-preserving denoising algorithm. It is built on the premise that the underlying surface of a noisy mesh is piecewise smooth, and a sharp fea...
101
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...