1226 search results - page 94 / 246 » Generating Abstractions from Static Domain Analysis |
DLOG
2008
13 years 10 months ago
2008
We propose an approach for extending domain knowledge represented in DL ontology by using knowledge extraction methods on ontology assertions. Concept and role assertions are extra...
FMICS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
ICIP
2003
IEEE
14 years 1 months ago
2003
IEEE
Two main issues arise when working in the area of texture segmentation: the need to describe the texture accurately by capturing its underlying structure, and the need to perform ...
CAV
2011
Springer
12 years 12 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
EUROSYS
2007
ACM
14 years 5 days ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...