1894 search results - page 324 / 379 » A TLA Proof System |
122
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
127
Voted
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Holistic twig join algorithms represent the state of the art for evaluating path expressions in XML queries. Using inverted indexes on XML elements, holistic twig joins move a set...
137
Voted
HUC
2005
Springer
15 years 9 months ago
2005
Springer
With the ubiquity of camera phones, it is now possible to capture digital still and moving images anywhere, raising a legitimate concern for many organizations and individuals. Alt...
124
Voted
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
An important class of queries is the LIKE predicate in SQL. In the absence of an index, LIKE queries are subject to performance degradation. The notion of indexing on substrings (...
152
Voted
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...