1382 search results - page 9 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
220
Voted
FSTTCS
2010
Springer
15 years 28 days ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
148
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...
101
Voted
ENVSOFT
2007
15 years 3 months ago
2007
114
Voted
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
145
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...