1532 search results - page 163 / 307 » An Algebraic Process Calculus |
134
click to vote
FLAIRS
2000
15 years 6 months ago
2000
Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...
168
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
183
Voted
AOSD
2012
ACM
14 years 10 days ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
136
click to vote
ICA
2007
Springer
15 years 10 months ago
2007
Springer
The discussion in this paper revolves around the notion of separation problems. The latter can be thought of as a unifying concept which includes a variety of important problems in...
171
click to vote
BDA
2004
15 years 6 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...