1953 search results - page 202 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
150
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
147
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
135
click to vote
CN
2008
15 years 4 months ago
2008
During the last decade, the study of large scale complex networks has attracted a substantial amount of attention and works from several domains: sociology, biology, computer scie...
144
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
106
Voted
RAID
2007
Springer
15 years 10 months ago
2007
Springer
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...