630 search results - page 49 / 126 » Combining Two Formalism for Reasoning about Concepts |
IKE
2003
13 years 10 months ago
2003
Collaboration based on computers involves two factors, human users and computer systems. When we hope to build a feasible and efficient collaborative system, we must consider both...
ISSTA
2010
ACM
14 years 20 days ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
ARCS
2006
Springer
14 years 15 days ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
IJCAI
2007
13 years 10 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...