2171 search results - page 72 / 435 » A Generic Process Algebra |
104
Voted
VLDB
2002
ACM
15 years 11 days ago
2002
ACM
The two observations that 1) many XML documents are stored in a database or generated from data stored in a database and 2) processing these documents with XSL stylesheet processo...
119
Voted
ISPDC
2003
IEEE
15 years 6 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
85
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
99
Voted
SEKE
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
97
Voted
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...