326 search results - page 14 / 66 » Logical Engineering with Instance-Based Methods |
109
click to vote
VMCAI
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
112
click to vote
DLOG
2001
15 years 1 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
125
Voted
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
106
Voted
AC
2005
Springer
15 years 9 days ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
222
Voted
POPL
2008
ACM
16 years 21 days ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...