3305 search results - page 80 / 661 » Can we Rely on SQL |
HT
2000
ACM
14 years 2 days ago
2000
ACM
Much of hypertext narrative relies on links to shape a reader’s interaction with the text. But links may be too limited to express ambiguity, imprecision, and entropy, or to adm...
COLING
2000
13 years 9 months ago
2000
Acquiring and updating terminological resources are di cult and tedious tasks, especially when semantic information should be provided. This paper deals with Term Semantic Categor...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
Can we secure user authentication against eavesdropping adversaries, relying on human cognitive functions alone, unassisted by any external computational device? To accomplish thi...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
— To cope with bursty arrivals of high-volume data, a DSMS has to shed load while minimizing the degradation of Quality of Service (QoS). In this paper, we show that this problem...