1382 search results - page 118 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
51
Voted
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—This paper contributes to the field of measuring (un)linkability in communication systems; a subproblem of privacy protection. We propose an attacker state model for attacks on...
81
Voted
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
72
Voted
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a stochastic multi-agent model of stock market. The market dynamics include switches between chartists and fundamentalists and switches in the prevailing opinio...
81
Voted
ACSD
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
87
Voted
WABI
2005
Springer
15 years 3 months ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...