4209 search results - page 671 / 842 » Abstract Dialectical Frameworks |
121
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
125
Voted
CPE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
137
click to vote
CPM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We apply the Boyer–Moore technique to compressed pattern matching for text string described in terms of collage system, which is a formal framework that captures variou...
138
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
146
Voted
GMP
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...