3555 search results - page 168 / 711 » Security-Critical System Development with Extended Use Cases |
133
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
214
click to vote
TOPNOC
2010
14 years 10 months ago
2010
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
143
click to vote
MCS
2008
Springer
15 years 3 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...
176
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
147
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...