5255 search results - page 431 / 1051 » Formal Methods for Privacy |
190
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
261
Voted
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Let L → H be a lattice homomorphism and let a “readable” drawing of H be given. It is natural to make use of it to try getting a clear(er) drawing of L. Hence, the following ...
167
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...
180
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
174
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...