301 search results - page 27 / 61 » Process Modelling to Support Dependability Arguments |
119
click to vote
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper presents a novel time-adaptive estimation technique by revisiting the classical Wiener-Hopf equation. Any convex and not necessarily differentiable function can be used...
107
click to vote
ECIS
2001
15 years 1 months ago
2001
Many organizations have embraced intranets with the intent to harness the technology to support knowledge management initiatives. Despite the promise that intranet technology hold...
103
click to vote
UAI
2004
15 years 1 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
118
click to vote
IJVR
2008
14 years 11 months ago
2008
Our research deals with the design of a training system to support decision-making in the preparation and the management of maintenance interventions in high-risk industries namely...