508 search results - page 19 / 102 » Domain Models Are Aspect Free |
IJCNN
2007
IEEE
14 years 2 months ago
2007
IEEE
— In vector space model (VSM), textual documents are represented as vectors in the term space. Therefore, there are two issues in this representation, i.e. (1) what should a term...
ISW
2004
Springer
14 years 1 months ago
2004
Springer
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...
CP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
DSL
1997
13 years 9 months ago
1997
Software architectures shift the focus of developers from lines-of-code to coarser-grained elements and their interconnection structure. Architecture description languages (ADLs) ...