1382 search results - page 127 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
77
Voted
ENTCS
2007
14 years 10 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
103
click to vote
DFN
2003
14 years 11 months ago
2003
In recent years research activities in computer network security focus more actively on the development of effective methods in intrusion detection. The reason for this developmen...
SAS
1999
Springer
15 years 2 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
79
Voted
ER
2006
Springer
15 years 1 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...