2414 search results - page 386 / 483 » Reasoning Support for OWL-E |
205
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
200
click to vote
RV
2007
Springer
16 years 1 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
176
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
198
click to vote
SRDS
2006
IEEE
16 years 27 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
219
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...