19003 search results - page 106 / 3801 » We Need Assurance! |
EH
2000
IEEE
14 years 1 months ago
2000
IEEE
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
ZUM
2000
Springer
14 years 21 days ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—We study the problem of reliably provisioning traffic using multipath routing in a mesh network. Traditional approaches handled reliability requirements using full-protection s...
LREC
2010
13 years 10 months ago
2010
Creating more fine-grained annotated data than previously relevent document sets is important for evaluating individual components in automatic question answering systems. In this...
MMNS
2001
13 years 10 months ago
2001
There are two cruxes of issues identified in differentiated services (diffserv) networks: One is TCP dynamics over Assured Services, and the other is the interaction of TCP and UDP...