2171 search results - page 76 / 435 » A Generic Process Algebra |
124
click to vote
NGITS
1999
Springer
15 years 5 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
174
Voted
SIGMOD
2006
ACM
16 years 28 days ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
140
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
119
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
Business processes drive the operations of an enterprise. In the past, the focus was primarily on business process design, modeling, and automation. Recently, enterprises have rea...
117
Voted
CSCL
2006
15 years 24 days ago
2006
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...