2409 search results - page 242 / 482 » Logical systems for structured specifications |
131
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
141
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
163
click to vote
ENTCS
2010
15 years 1 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
226
click to vote
ICDE
2002
IEEE
16 years 6 months ago
2002
IEEE
We propose a novel index structure, termed XTrie, that supports the efficient filtering of XML documents based on XPath expressions. Our XTrie index structure offers several novel...
129
click to vote
COOPIS
2003
IEEE
15 years 10 months ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...