@inbook{26800, author = {{Hellmich, Frank and Wernke, Stephan}}, booktitle = {{Auf den Anfang kommt es an: Kompetenzen entwickeln – Kompetenzen stärken}}, editor = {{Hinz, Renate}}, pages = {{31--42}}, publisher = {{Westdeutscher Verlag}}, title = {{{Selbstregulationen von Kindern.}}}, year = {{2006}}, } @article{3223, author = {{Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}}, journal = {{Nord. J. Comput.}}, number = {{1-2}}, pages = {{22----45}}, title = {{{Optimizing Slicing of Formal Specifications by Deductive Verification}}}, year = {{2006}}, } @inproceedings{3224, author = {{Derrick, John and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}}, editor = {{Johnson, Michael and Vene, Varmo}}, pages = {{111----126}}, title = {{{Model Transformations Incorporating Multiple Views}}}, doi = {{10.1007/11784180_11}}, year = {{2006}}, } @inproceedings{3225, author = {{Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}}, editor = {{Liu, Zhiming and He, Jifeng}}, pages = {{514----528}}, title = {{{Incremental Slicing}}}, doi = {{10.1007/11901433_28}}, year = {{2006}}, } @proceedings{3226, editor = {{Gorrieri, Roberto and Wehrheim, Heike}}, isbn = {{3-540-34893-X}}, title = {{{Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings}}}, doi = {{10.1007/11768869}}, year = {{2006}}, } @inproceedings{3327, author = {{Stein, Benno and Niggemann, Oliver and Lettmann, Theodor}}, booktitle = {{AIA '06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications}}, pages = {{273----278}}, title = {{{Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT}}}, year = {{2006}}, } @article{3608, author = {{Gruber, Hans and Harteis, Christian and Rehrl, Monika}}, journal = {{Bildung und Erziehung}}, number = {{2}}, pages = {{193----204}}, title = {{{Professional Learning: Erfahrung als Grundlage von Handlungskompetenz}}}, year = {{2006}}, } @article{3609, author = {{Rehrl, Monika and Harteis, Christian and Gruber, Hans}}, journal = {{German Journal of Human Resource Management}}, number = {{2}}, pages = {{185----191}}, title = {{{Potentialanalysen in der Personalentwicklung--ein kritischer Diskurs}}}, year = {{2006}}, } @article{3613, author = {{Harteis, Christian and Bauer, Johannes and Heid, Helmut}}, journal = {{SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN}}, number = {{1}}, pages = {{111--129}}, title = {{{Der Umgang mit Fehlern als Merkmal betrieblicher Fehlerkultur und Voraussetzung fur Professional Learning}}}, year = {{2006}}, } @inbook{3615, author = {{Harteis, Christian and Gruber, Hans and Lehner, Franz}}, booktitle = {{Work, subjectivity and learning}}, editor = {{Billett, Stephen and Somerville, Margaret and Fenwick, Tara}}, pages = {{123----140}}, publisher = {{Springer}}, title = {{{Epistemological beliefs and their impact on work, subjectivity and learning}}}, year = {{2006}}, } @misc{3627, author = {{Harteis, Christian}}, booktitle = {{SCHWEIZERISCHE ZEITSCHRIFT FUR BILDUNGSWISSENSCHAFTEN}}, number = {{3}}, pages = {{517--524}}, title = {{{Oser, F. & Spychiger, M.(2005). Lernen ist schmerzhaft. Zur Theorie des Negativen Wissens und zur Praxis der Fehlerkultur}}}, volume = {{28}}, year = {{2006}}, } @inproceedings{3705, author = {{Mueller, Jens}}, booktitle = {{EcoMod 2006}}, editor = {{Bayar, Ali}}, title = {{{How to close the value gap between market and tax values}}}, year = {{2006}}, } @article{3003, abstract = {{We give a brief introduction to probabilistic encryptions. This serves as an example how randomness plays a pivotal role in cryptographic systems that satisfy advanced security concepts.}}, author = {{Blömer, Johannes}}, journal = {{Journal of Universal Computer Science (J.UCS)}}, number = {{6}}, pages = {{654----671}}, title = {{{Randomness and Secrecy - A Brief Introduction}}}, doi = {{10.3217/jucs-012-06-0654}}, year = {{2006}}, } @inbook{3004, author = {{Blömer, Johannes and Krummel, Volker}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540462507}}, issn = {{0302-9743}}, pages = {{106--120}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Fault Based Collision Attacks on AES}}}, doi = {{10.1007/11889700_11}}, year = {{2006}}, } @inbook{3005, author = {{Blömer, Johannes and Otto, Martin}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540462507}}, issn = {{0302-9743}}, pages = {{13--23}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Wagner’s Attack on a Secure CRT-RSA Algorithm Reconsidered}}}, doi = {{10.1007/11889700_2}}, year = {{2006}}, } @inbook{3007, author = {{Blömer, Johannes and Otto, Martin and Seifert, Jean-Pierre}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540462507}}, issn = {{0302-9743}}, pages = {{36--52}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Sign Change Fault Attacks on Elliptic Curve Cryptosystems}}}, doi = {{10.1007/11889700_4}}, year = {{2006}}, } @inproceedings{26988, abstract = {{For most of today's IT environments, the tremendous need for storage capacity in combination with a required minimum I/O performance has become highly critical. In dynamically growing environments, a storage management solution's underlying data distribution scheme has great impact to the overall system I/O performance. The evaluation of a number of open system storage visualization solutions and volume managers has shown that all of them lack the ability to automatically adapt to changing access patterns and storage infrastructures; many of them require an error prone manual re-layout of the data blocks, or rely on a very time consuming re-striping of all available data. This paper evaluates the performance of conventional data distribution approaches compared to the adaptive virtualization solution V:DRIVE in dynamically changing storage environments. Changes of the storage infrastructure are normally not considered in benchmark results, but can have a significant impact on storage performance. Using synthetic benchmarks, V:DRIVE is compared in such changing environments with the non-adaptive Linux logical volume manager (LVM). The performance results of our tests clearly outline the necessity of adaptive data distribution schemes.}}, author = {{Brinkmann, Andre and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario}}, booktitle = {{14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'06)}}, title = {{{Influence of adaptive data layouts on performance in dynamically changing storage environments}}}, doi = {{10.1109/pdp.2006.44}}, year = {{2006}}, } @article{27712, author = {{Günther, A L B and Buyken, Anette and Kroke, A}}, issn = {{0307-0565}}, journal = {{International Journal of Obesity}}, pages = {{1072--1079}}, title = {{{The influence of habitual protein intake in early childhood on BMI and age at adiposity rebound: results from the DONALD Study}}}, doi = {{10.1038/sj.ijo.0803288}}, year = {{2006}}, } @article{27892, author = {{Schlegel-Matthies, Kirsten}}, journal = {{Haushalt & Bildung}}, number = {{1}}, title = {{{REVIS – Reform der Ernährungs- und Verbraucherbildung in Schulen }}}, volume = {{83}}, year = {{2006}}, } @article{27893, author = {{Methfessel, B. and Schlegel-Matthies, Kirsten}}, journal = {{Haushalt & Bildung}}, number = {{1}}, pages = {{14--24}}, title = {{{Zur Analyse von Unterrichtsmaterialien für die Ernährungs- und Verbraucherbildung}}}, volume = {{83}}, year = {{2006}}, }