3555 search results - page 108 / 711 » Security-Critical System Development with Extended Use Cases |
85
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
CAISE
2007
Springer
15 years 7 months ago
2007
Springer
Innovative networked value constellations, such as Cisco or Dell, are often enabled by Information Technology (IT). The same holds for the Distributed Electricity Balancing Service...
FLAIRS
2007
15 years 3 months ago
2007
Researchers have reported successful deployments of diagnosis decision support systems based on Bayesian networks. However, the methodology for evaluating the diagnosability for s...
122
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
134
Voted
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...