@inproceedings{646, abstract = {{This paper presents a dynamic overlay network based on the De Bruijn graph which we call Linearized De Bruijn (LDB) network. The LDB network has the advantage that it has a guaranteed constant node degree and that the routing between any two nodes takes at most O(log n) hops with high probability. Also, we show that there is a simple local-control algorithm that can recover the LDB network from any network topology that is weakly connected.}}, author = {{Richa, Andrea W. and Scheideler, Christian}}, booktitle = {{Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)}}, pages = {{416--430}}, title = {{{Self-Stabilizing DeBruijn Networks}}}, doi = {{10.1007/978-3-642-24550-3_31}}, year = {{2011}}, } @inbook{6465, author = {{Tramm, T. and Kremer, H.-Hugo and Tenberg, R.}}, booktitle = {{bwp@ Ausgabe 20, Lernfeldansatz 15 Jahre danach}}, editor = {{Kremer, H.-H. and Tramm, T. and Tenberg, R.}}, title = {{{Editorial bwp@ 20}}}, year = {{2011}}, } @inbook{6466, author = {{Beutner, Marc and Kremer, H.-Hugo and Wirth, W.}}, booktitle = {{bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 16}}, editor = {{Beutner, M. and Kremer, H.-H. and Zoyke, A.}}, pages = {{1--26}}, title = {{{Bildungsmaßnahmen zur Berufsorientierung im Justizvollzug - Konzept und Erfahrungen}}}, year = {{2011}}, } @inbook{6467, author = {{Beutner, Marc and Kremer, H.-Hugo and Zoyke, A.}}, booktitle = {{WS 16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011}}, editor = {{Beutner, M. and Kremer, H.-H. and Zoyke, A.}}, title = {{{Editorial zu Workshop 16: Individuelle Förderung - Konzepte und Erfahrungen zur Berufsorientierung im Übergang}}}, year = {{2011}}, } @inbook{6468, author = {{Kremer, H.-Hugo}}, booktitle = {{Wirtschaftspädagogik zwischen Erkenntnis und Erfahrung - strukturelle Einsichten zur Gestaltung von Prozessen}}, editor = {{Prieß, W.}}, pages = {{327--349}}, title = {{{Praxisphasen und Professionalisierung in der Lehrerbildung - Überlegungen zur Gestaltung des Praxissemesters }}}, year = {{2011}}, } @article{6469, author = {{Ertl, H. and Kremer, H.-Hugo}}, journal = {{Wirtschaft und Erziehung}}, title = {{{Innovationen in berufsbildenden Kontexten - eine explorative Studie an berufsbildenden Schulen}}}, year = {{2011}}, } @article{647, author = {{Leuschel, Michael and Wehrheim, Heike}}, journal = {{Science of Computer Programming}}, number = {{10}}, pages = {{835----836}}, publisher = {{Elsevier}}, title = {{{Selected papers on Integrated Formal Methods (iFM09)}}}, doi = {{10.1016/j.scico.2011.01.009}}, year = {{2011}}, } @inbook{6470, author = {{Kremer, H.-Hugo}}, booktitle = {{bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02}}, editor = {{Rützel, J. and Zöller, A.}}, pages = {{1--12}}, title = {{{Berufsorientierung als Herausforderung für berufsbildende Schulen!}}}, year = {{2011}}, } @inbook{6471, author = {{Tramm, T. and Kremer, H.-Hugo}}, booktitle = {{Übergänge in der Berufsbildung nachhaltig gestalten: Potentiale erkennen - Chancen nutzen}}, editor = {{Bals, T. and Hinrichs, H. and Ebbinghaus, M. and Tenberg, R.}}, title = {{{Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg}}}, year = {{2011}}, } @inbook{6472, author = {{Kremer, H.-Hugo and Tramm, T.}}, booktitle = {{bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19}}, editor = {{Kremer, H.-H. and Tramm, T.}}, pages = {{1--13}}, title = {{{Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg}}}, year = {{2011}}, } @inbook{6473, author = {{Kremer, H.-Hugo and Sandmann, D.}}, booktitle = {{bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29}}, editor = {{Gerholz, K.-H. and Sloane, P. F. E. }}, pages = {{1--18}}, title = {{{Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung}}}, year = {{2011}}, } @article{6474, author = {{Büchter, K. and Gramlinger, F. and Kremer, H.-Hugo and Tenberg , R. and Tramm, T.}}, journal = {{bwp@ Berufs- und Wirtschaftspädagogik - online, Jubiläumsausgabe}}, pages = {{1--11}}, title = {{{bwp@ Berufs- und Wirtschaftspädagogik - online 2011-2011: Verortung, Selbstverständnis und Entwicklung}}}, year = {{2011}}, } @misc{648, author = {{Brandes, Philipp}}, publisher = {{Universität Paderborn}}, title = {{{Robust Distributed Computation in Dynamic Networks}}}, year = {{2011}}, } @article{649, abstract = {{Today, the concept of service oriented architectures provides a way of building integrated solutions out of existing services. To this end, services from different providers are composed using advanced orchestration and choreography techniques. However, while this principle allows for greater flexibility at a smaller cost, the use of third party services also includes a risk: Deployed services might not work as claimed by their providers. In this paper, we propose a technique for analyzing the expected reliability of service compositions based on ratings given by (previous) service users. Every service thereby comes with a reputation, and the analysis computes an overall reliability of a service composition from the reputations of its constituent services. The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques. The approach has been implemented as an Eclipse plug-in and is fully compliant with UML.}}, author = {{Besova, Galina and Wehrheim, Heike and Wagner, Annika}}, journal = {{Electronic Notes in Theoretical Computer Science}}, number = {{2}}, pages = {{3--16}}, publisher = {{Elsevier}}, title = {{{Reputation-based Reliability Prediction of Service Compositions}}}, doi = {{10.1016/j.entcs.2011.11.008}}, year = {{2011}}, } @misc{650, author = {{Platenius, Marie Christin}}, publisher = {{Universität Paderborn}}, title = {{{Reengineering of Design Deficiencies in Component-Based Software Architectures}}}, year = {{2011}}, } @misc{651, author = {{Stroh-Maraun, Nadja}}, publisher = {{Universität Paderborn}}, title = {{{Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme}}}, year = {{2011}}, } @inproceedings{652, abstract = {{In the development process of service-oriented systems, business process models are used at different levels. Typically, high-level business process models that describe business requirements and needs are stepwise refined to the IT level by different business modelers and software architects. As a result, different process model versions must be compared and merged by means of model version control. An important prerequisite for process model version control is an elaborated matching approach that results in precise mappings between different process model versions. The challenge of such an approach is to deal with syntactically different process models that are semantically equivalent. For that purpose, matching techniques must consider the semantics of process modeling languages.In this paper, we present a matching approach for process models in a versioning scenario. Based on a term formalization of process models, we enable an efficient and effective way to match syntactically different but semantically equivalent process models resulting in precise mappings.}}, author = {{Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}}, booktitle = {{Proceedings of the IEEE 8th International Conference on Service Computingt (SCC)}}, pages = {{218----225}}, title = {{{Precise Mappings between Business Process Models in Versioning Scenarios}}}, doi = {{10.1109/SCC.2011.65}}, year = {{2011}}, } @inproceedings{653, abstract = {{Performance prototyping is an often used technique to assess the performance of software architectures early in the development process without relying on models of the system under study. ProtoCom is a prototype generator for the PCM realised as model-2-text transformation for which no experience report in a larger, virtualised setting exists. In this paper, we report on four case studies performed with an improved version of ProtoCom and report on the results gained with respect to analysis accuracy and usability. Our results demonstrate that the new version is much easier to use than previous versions and that results gained in our virtualised execution environment help in early assessments of performance under realistic conditions.}}, author = {{Lehrig, Sebastian and Zolynski, Thomas}}, booktitle = {{Proceedings of the Palladio Days 2011}}, pages = {{15--22}}, title = {{{Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study}}}, doi = {{10.5445/IR/1000025188 }}, year = {{2011}}, } @inproceedings{654, abstract = {{Research on peer-to-peer (p2p) and distributed systems needs evaluation tools to predict and observe the behavior of protocols and mechanisms in large scale networks. PeerfactSim.KOM is a simulator for large scale distributed/p2p systems aiming at the evaluation of interdependencies in multi-layered p2p systems. The simulator is written in Java, is event-based and mainly used in p2p research projects. The main development of PeerfactSim.KOM started in 2005 and is driven since 2006 by the project “QuaP2P”,which aims at the systematic improvement and benchmarking of p2p systems. Further users of the simulator are working in the project “On-the-fly Computing” aiming at researching p2p-based service oriented architectures. Both projects state severe requirements on the evaluation of multi-layered and large-scale distributed systems. We describe the architecture of PeerfactSim.KOM supporting these requirements in Section II, present the workflow, selected experiences and lessons learned in Section III and conclude the overview in Section IV.}}, author = {{Graffi, Kalman}}, booktitle = {{Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP)}}, pages = {{154--155}}, title = {{{PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned}}}, doi = {{10.1109/P2P.2011.6038673}}, year = {{2011}}, } @misc{655, author = {{Meyer, Joachim}}, publisher = {{Universität Paderborn}}, title = {{{Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud}}}, year = {{2011}}, }