1164 search results - page 34 / 233 » Using CBR for Semantic Analysis of Software Specifications |
ENTCS
2002
13 years 8 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
CODES
2000
IEEE
14 years 17 days ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
EUROMICRO
1999
IEEE
14 years 1 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...