190 search results - page 33 / 38 » Symmetry and Satisfiability: An Update |
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Inspired by the recent development of optical queueing theory, in this paper we study a class of multistage interconnection networks (MINs), called twister networks. Unl...
AMSTERDAM
2009
14 years 9 months ago
2009
The paper provides a compositional account of cumulative readings with non-increasing modified numerals (aka van Benthem's puzzle), e.g., Exactly three boys saw exactly five m...
133
click to vote
TKDE
2010
14 years 6 months ago
2010
The idea of allowing query users to relax their correctness requirements in order to improve performance of a data stream management system (e.g., location-based services and senso...
106
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
—The danger of production or backup data becoming corrupted is a problem that database administrators dread. This position paper aims to bring this problem to the attention of th...