1466 search results - page 156 / 294 » Completeness of the Authentication Tests |
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
AINA
2010
IEEE
14 years 1 months ago
2010
IEEE
—Text-based password schemes have inherent security and usability problems, leading to the development of graphical password schemes. However, most of these alternate schemes are...
DATE
2002
IEEE
14 years 29 days ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
EH
2002
IEEE
14 years 29 days ago
2002
IEEE
In this article, we present the BioWall, a giant reconfigurable computing tissue developed to implement machines according to the principles of our Embryonics (embryonic electroni...
ADAEUROPE
2010
Springer
14 years 25 days ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...