Sciweavers

1953 search results - page 140 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
CBSE
2006
Springer
15 years 2 days ago
A QoS Driven Development Process Model for Component-Based Software Systems
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
Heiko Koziolek, Jens Happe
HYBRID
2003
Springer
15 years 3 months ago
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
Xenofon D. Koutsoukos, James Kurien, Feng Zhao
COMCOM
2004
119views more  COMCOM 2004»
14 years 10 months ago
Modeling TCP performance with proxies
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
Navid Ehsan, Mingyan Liu
AMC
2008
99views more  AMC 2008»
14 years 10 months ago
Markov chain network training and conservation law approximations: Linking microscopic and macroscopic models for evolution
In this paper, a general framework for the analysis of a connection between the training of artificial neural networks via the dynamics of Markov chains and the approximation of c...
Roderick V. N. Melnik
95
Voted
JSS
2010
142views more  JSS 2010»
14 years 4 months ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter