2432 search results - page 156 / 487 » High-level approach to modeling of observed system behavior |
142
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
199
click to vote
MASCOTS
2010
15 years 7 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...
158
click to vote
TAOSD
2010
15 years 4 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
161
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
197
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Stability of Wardrop equilibria is analyzed for dynamical transportation networks in which the drivers’ route choices are influenced by information at multiple temporal and spat...