485 search results - page 85 / 97 » Knowledge Compilation for Description Logics |
152
click to vote
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
165
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
177
click to vote
PODS
2008
ACM
16 years 4 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
156
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
156
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...