4353 search results - page 78 / 871 » Expressiveness of Process Algebras |
104
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
ECHT
1992
15 years 4 months ago
1992
We present a model for data organized as graphs. Regular expressions over the types of the node and edge labels are used to qualify connected subgraphs. An algebraic language base...
ICDE
2008
IEEE
15 years 6 months ago
2008
IEEE
— Current database systems are tailored to efficiently evaluate Boolean expressions which are typically used as selection conditions to restrict the result set. We propose to ad...
103
click to vote
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
The concepts of bipolar queries and queries with preferences are studied. Various interpretations of the former, recently defined by Dubois and Prade, are discussed. The latter w...
ENTCS
2008
14 years 12 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...