722 search results - page 86 / 145 » A Faithful Integration of Description Logics with Logic Prog... |
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
PLPV
2009
ACM
15 years 6 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
111
click to vote
IDEAS
2009
IEEE
15 years 4 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
OWLED
2007
14 years 11 months ago
2007
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
CSFW
2011
IEEE
13 years 9 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...