508 search results - page 19 / 102 » Domain Models Are Aspect Free |
131
click to vote
IJCNN
2007
IEEE
15 years 10 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...
138
Voted
ISW
2004
Springer
15 years 9 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...
225
Voted
CP
2009
Springer
16 years 4 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...
122
Voted
BIRTHDAY
2008
Springer
15 years 5 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...
116
click to vote
DSL
1997
15 years 5 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) ...