7109 search results - page 13 / 1422 » Process Algebra with Combinators |
137
click to vote
DLOG
2001
15 years 3 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
109
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
107
Voted
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
COSIT
1999
Springer
15 years 6 months ago
1999
Springer