220 search results - page 1 / 44 » Verifying a signature architecture: a comparative case study |
FAC
2007
13 years 4 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
NOCS
2007
IEEE
13 years 11 months ago
2007
IEEE
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
TSE
2011
12 years 11 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...