Proof Environments for Formal Specification Languages (2008)
David Basin, Achim D. Brucker, Jan-georg Smaus, Burkhart Wolff, Winter Term, Achim D. Brucker
Isabelle is not alone there are many successful theorem provers, e.g.: • Coq:
E-Business Case Studies Web Log Analysis: testberichte.de Seminar Paper (2008)
Winter Term, Mark-david Draheim, Christoph Hanser, Caspar Seckendorff
Presented Sabine Mayer, Winter Term
1.3. Translation into SSA Form.........................................................................................5 1.3.1. Insertion of...
CSE 4080 PROJECT: SKEW HEAP, LEFTIST HEAP AND ALTERNATIVES (2008)
Winter Term, Soheil Pourhashemi
1 GLOSSARY............................................................................................................ 3 2...
Winter Term, Instructor Dr. Jo Lumsden
After introducing the student to some of the underlying principles of Human-Computer Interaction (HCI), this course is intended to provide an in-depth understanding of humancomputer
Term Thesis Multi-DSP/Multi-FPGA Platform (2007)
Winter Term, Students Marco Hauri, Rolf Sigg, Thomas Singer, Professor Dr, L. Thiele, ...
Embedded systems play an important role in our daily live. They are part of a technical environment, e.g., car electronics, and comprise programmable components like microprocessors,...
Term Thesis Web-Interface for Multi-FPGA Card Pamette (2007)
Winter Term, Students Christoph Aschw, Moritz Ritter, Professor Dr, L. Thiele, Student Tutor, ...
Embedded systems play an important role in our daily live. They are part of a technical environment, e.g., car electronics, and comprise programmable components like microprocessors,...
Pseudonyms and Identity Recovery (2004)
Winter Term, Sandra Theidel, Betreuung Zinaida Benenson
In the electronic world of today, privacy is a requirement of the users and accountability is a requirement of the service providers that act in this world. This can be achieved by allowing users to...
Jauvane C. de Oliveira is sponsored by CAPES, the Brazilian Ministry of Education Agency. (1997)
Compulsory Statement Bolsista, Winter Term
As the result of the work done as a project for the Image Processing and Communications course in the winter of 1997, this report describes the implementation of a Java H.263 video decoder. The...