19 search results - page 4 / 4 » A Tableaux-based Method for Computing Least Common Subsumers... |
LICS
2009
IEEE
14 years 6 days ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
RR
2009
Springer
14 years 3 days ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
ICCS
2009
Springer
14 years 3 days ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
LOGCOM
2007
13 years 5 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...