10891 search results - page 364 / 2179 » Combining Model Reductions |
176
click to vote
JNCA
2007
15 years 4 months ago
2007
The process of monitoring the events occurring in a computer system or network and analyzing them for sign of intrusions is known as intrusion detection system (IDS). This paper p...
199
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
138
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
149
click to vote
TABLEAUX
1999
Springer
15 years 9 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
153
click to vote
ANOR
2010
15 years 5 months ago
2010
Abstract The problem of portfolio risk estimation in volatile markets requires employing fat-tailed models for financial instrument returns combined with copula functions to captur...