351 search results - page 63 / 71 » Completing Description Logic Knowledge Bases Using Formal Co... |
154
click to vote
TCS
2002
15 years 4 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
168
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Many aspects for runtime monitoring are history-based: they contain pieces of advice that execute conditionally, based on the observed execution history. History-based aspects are...
147
Voted
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
189
click to vote
PODS
2008
ACM
16 years 5 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, ...
147
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...