2607 search results - page 63 / 522 » On the Architecture of System Verification Environments |
106
click to vote
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...
JCDL
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents the project LEBONED that focuses on the integration of digital libraries and their contents into web-based learning environments. We describe in general how th...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, we propose four architectures for intrusion-tolerant database systems. While traditional secure database systems rely on prevention controls, an intrusion-tolerant ...
106
click to vote
IFIP
1993
Springer
15 years 3 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
ASE
2008
14 years 12 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...