Sciweavers

656 search results - page 44 / 132
» Brain Complexity: Analysis, Models and Limits of Understandi...
Sort
View
EDCC
1999
Springer
14 years 29 days ago
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
ESORICS
2005
Springer
14 years 2 months ago
Browser Model for Security Analysis of Browser-Based Protocols
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
Thomas Groß, Birgit Pfitzmann, Ahmad-Reza Sa...
BMCBI
2008
97views more  BMCBI 2008»
13 years 8 months ago
Quantitative analysis of numerical solvers for oscillatory biomolecular system models
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
Chang F. Quo, May D. Wang
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
14 years 2 months ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
CIVR
2010
Springer
254views Image Analysis» more  CIVR 2010»
14 years 1 months ago
Video scene analysis of interactions between humans and vehicles using event context
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...
M. S. Ryoo, Jong Taek Lee, Jake K. Aggarwal