2302 search results - page 301 / 461 » Basic Description Logics |
258
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
235
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
XPORT is a profile-driven distributed data dissemination system that supports an extensible set of data types, profiles types, and optimization metrics. XPORT efficiently implemen...
158
click to vote
CSL
2009
Springer
16 years 22 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
172
Voted
SYNASC
2008
IEEE
16 years 16 days ago
2008
IEEE
Nowadays, business rules receive a lot of attention from both industry and academia, as they are considered the ideal vehicle for capturing business logic. The purpose of our pape...
144
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...