[ACM Press the 17th ACM conference - Chicago, Illinois, USA (2010.10.04-2010.10.08)] Proceedings of the 17th ACM conference on Computer and communications security - CCS '10 - Information security for sensors by overwhelming random sequences and permutations
- 作者Dolev, Shlomi; Gilboa, Niv; Kopeetsky, Marina; Persiano, Giuseppe; Spirakis, Paul
- 文件大小298.51KB
- 发表时间2010
- DOI10.1145/1866307.1866392
The Correctness-by-Construction Approach to Programming Volume 668 ||Kourie, Derrick G.; Watson, Bruce W. · 2012
ON REGULAR EXPRESSION HASHING TO REDUCE FA SIZECOETSER, WIKUS; KOURIE, DERRICK G.; WATSON, BRUCE W. · International Journal of Foundations of Computer Science · 2009
The Correctness-by-Construction Approach to Programming || Simple ExamplesKourie, Derrick G.; Watson, Bruce W. · 2012
A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHMSTRAUSS, TINUS; KOURIE, DERRICK G.; WATSON, BRUCE W. · International Journal of Foundations of Computer Science · 2008
The Correctness-by-Construction Approach to Programming Volume 9b2 || Intermediary ExamplesKourie, Derrick G.; Watson, Bruce W. · 2012
ON IMPLEMENTATION AND PERFORMANCE OF TABLE-DRIVEN DFA-BASED STRING PROCESSORSNGASSAM, ERNEST KETCHA; KOURIE, DERRICK G.; WATSON, BRUCE W. · International Journal of Foundations of Computer Science · 2008
The Correctness-by-Construction Approach to Programming Volume 200 || Case Study 2: Classifying MADFA Construction AlgorithmsKourie, Derrick G.; Watson, Bruce W. · 2012
[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - A New CSP Operator for Optional ParallelismGruner, Stefan; Kourie, Derrick G.; Roggenbach, Markus; Strauss, Tinus; Watson, Bruce W. · 2008