knowledge-database (beta) Group: comp.doc.techreports back to comp.doc.* Postings    UCAM-CL-TR-605: Acute: High-level programming language design for dist...    tech-reports at cl.cam.ac.uk    UCAM-CL-TR-604: On the anonymity of anonymity systems    tech-reports at cl.cam.ac.uk    UCAM-CL-TR-606: Dynamic binary analysis and instrumentation    tech-reports at cl.cam.ac.uk    UCAM-CL-TR-607: Code size optimization for embedded processors    tech-reports at cl.cam.ac.uk    UCAM-CL-TR-608: Trust management for widely distributed systems    tech-reports at cl.cam.ac.uk    AIB 2004-08: Algebraic Correctness Proofs for Compiling Recursive Func...    Volker Stolz    AIB 2004-10: Secure Multi-Party Computation with Security Modules    Volker Stolz    AIB 2004-09: Parameterized Power Domination Complexity    Volker Stolz    ILLC Research Reports and Technical Notes 2004    Marco Vervoort,P.311,+31 20 525 5356,, all groups

Copyright © 2006 knowledge-database   -   All rights reserved