4341 search results - page 233 / 869 » Quantitative Model checking |
127
click to vote
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
100
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
94
Voted
DSRT
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
123
Voted
BMCBI
2007
15 years 26 days ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
113
Voted
CIG
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This paper introduces quantitative measurements/metrics of qualitative entertainment features within interactive playgrounds inspired by computer games and proposes art...