467 search results - page 20 / 94 » Partial Behavioural Models for Requirements and Early Design |
MCS
2008
Springer
13 years 8 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
CASCON
2006
13 years 10 months ago
2006
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protect...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
We address the problem of Bayesian estimation where the statistical relation between the signal and measurements is only partially known. We propose modeling partial Baysian knowl...
FC
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Secure login methods based on human cognitive skills can be classified into two categories based on information available to a passive attacker: (i) the attacker fully ob...
ICFEM
2007
Springer
14 years 10 days ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...