3381 search results - page 350 / 677 » Extending Dependencies with Conditions |
163
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
162
Voted
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
157
click to vote
VL
1996
IEEE
15 years 11 months ago
1996
IEEE
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...
174
Voted
COMPGEOM
1996
ACM
15 years 11 months ago
1996
ACM
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
203
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...