644 search results - page 96 / 129 » A topological characterization of weakness |
197
click to vote
TKDE
2008
15 years 5 months ago
2008
Proving ownership rights on outsourced relational databases is a crucial issue in today internet-based application environments and in many content distribution applications. In th...
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
— We consider perfect secret key generation for a “pairwise independent network” model in which every pair of terminals share a random binary string, with the strings shared ...
150
click to vote
LOGCOM
2010
15 years 4 months ago
2010
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...
167
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
162
click to vote
JSYML
2011
14 years 9 months ago
2011
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementar...