Sciweavers

3555 search results - page 192 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
TR
2010
140views Hardware» more  TR 2010»
14 years 10 months ago
Modeling Failure Modes for Residual Life Prediction Using Stochastic Filtering Theory
This paper reports on a theoretical Bayesian modeling development for residual life prediction in the context of condition-based maintenance. At each monitoring point during a comp...
Matthew J. Carr, Wenbin Wang
IPPS
2007
IEEE
15 years 10 months ago
Integrated Environment for Embedded Control Systems Design
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
Roman Bartosinski, Zdenek Hanzálek, Petr St...
ER
2004
Springer
139views Database» more  ER 2004»
15 years 9 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
143
Voted
SAGA
2005
Springer
15 years 9 months ago
Two Metaheuristics for Multiobjective Stochastic Combinatorial Optimization
Two general-purpose metaheuristic algorithms for solving multiobjective stochastic combinatorial optimization problems are introduced: SP-ACO (based on the Ant Colony Optimization ...
Walter J. Gutjahr
WSC
2008
15 years 6 months ago
An efficient Ranking and Selection procedure for a linear transient mean performance measure
We develop a Ranking and Selection procedure for selecting the best configuration based on a transient mean performance measure. The procedure extends the OCBA approach to systems...
Douglas J. Morrice, Mark W. Brantley, Chun-Hung Ch...