3119 search results - page 314 / 624 » General Default Logic |
189
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...
212
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
172
click to vote
INFFUS
2010
15 years 1 months ago
2010
The problem of fusing beliefs in the Dempster-Shafer belief theory has attracted considerable attention over the last two decades. The classical Dempster's Rule has often bee...
208
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
236
click to vote
TOCL
2012
13 years 9 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...