665 search results - page 125 / 133 » A proposal for an owl rules language |
72
Voted
JCIT
2010
14 years 4 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
CADE
2003
Springer
15 years 9 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
CSFW
2006
IEEE
15 years 3 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
99
Voted
CINQ
2004
Springer
15 years 1 months ago
2004
Springer
Inductive databases (IDBs) have been proposed to afford the problem of knowledge discovery from huge databases. With an IDB the user/analyst performs a set of very different operat...
82
Voted
GEOINFO
2004
14 years 10 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...