@inbook{18593, abstract = {{We present a quantitative parameter-free method for calculating defect states and charge-transition levels of point defects in semiconductors. It combines the strength of density-functional theory for ground-state total energies with quasiparticle corrections to the excitation spectrum obtained from many-body perturbation theory. The latter is implemented within the G0W0 approximation, in which the electronic self-energy is constructed non-self-consistently from the Green’s function of the underlying Kohn–Sham system. The method is general and applicable to arbitrary bulk or surface defects. As an example we consider anion vacancies at the (110) surfaces of III–V semiconductors. Relative to the Kohn–Sham eigenvalues in the local-density approximation, the quasiparticle corrections open the fundamental band gap and raise the position of defect states inside the gap. As a consequence, the charge-transition levels are also pushed to higher energies, leading to close agreement with the available experimental data.}}, author = {{Schindlmayr, Arno and Scheffler, Matthias}}, booktitle = {{Theory of Defects in Semiconductors}}, editor = {{Drabold, David A. and Estreicher, Stefan K.}}, isbn = {{978-3-540-33400-2}}, issn = {{1437-0859}}, pages = {{165--192}}, publisher = {{Springer}}, title = {{{Quasiparticle calculations for point defects at semiconductor surfaces}}}, doi = {{10.1007/11690320_8}}, volume = {{104}}, year = {{2007}}, } @inproceedings{18655, abstract = {{We study graph properties which are testable for bounded degree graphs in time independent of the input size. Our goal is to distinguish between graphs having a predetermined graph property and graphs that are far from every graph having that property. It is believed that almost all, even very simple graph properties require a large complexity to be tested for arbitrary (bounded degree) graphs. Therefore in this paper we focus our attention on testing graph properties for special classes of graphs. We call a graph family non-expanding if every graph in this family is not a weak expander (its expansion is O(1/log2 n), where n is the graph size). A graph family is hereditary if it is closed under vertex removal. Similarly, a graph property is hereditary if it is closed under vertex removal. Next, we call a graph property Π to be testable for a graph family F if for every graph G ε F, in time independent of the size of G we can distinguish between the case when G satisfies property Π and when it is far from every graph satisfying property Π. In this paper we prove thatIn the bounded degree graph model, any hereditary property is testable if the input graph belongs to a hereditary and non-expanding family of graphs.As an application, our result implies that, for example, any hereditary property (e.g., k-colorability, H-freeness, etc.) is testable in the bounded degree graph model for planar graphs, graphs with bounded genus, interval graphs, etc. No such results have been known before and prior to our work, in the bounded degree graph model very few graph properties have been known to be testable for any graph classes.}}, author = {{Sohler, Christian and Czumaj, Artur}}, booktitle = {{Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA'07)}}, isbn = {{9780898716245}}, pages = {{494--501}}, title = {{{On Testable Properties in Bounded Degree Graphs}}}, year = {{2007}}, } @inproceedings{18656, abstract = {{In the StrSort model [2], the input is given as a stream, e.g. a sequence of points, and an algorithm can perform (a) streaming and (b) sorting passes to process the stream. A streaming pass reads the input stream from left to right and writes an output stream, which is the input of the next pass. A sorting pass is a black box operation that sorts a stream according to some partial order. In this paper, we develop algorithms for two basic geometric problems in the StrSort model. At first, we propose a divide-and-conquer algorithm that computes the convex hull of a point set in 2D in O(log2 n) passes using O(1) memory. Then we give a StrSort algorithm to compute a (1+ε)-spanner for a point set in Rd for constant d and constant epsilon that uses O(logd-1 n) passes and O(log n) space. This result implies a (1+ε)-approximation of the Euclidean minimum spanning tree in Rd, for constant d and ε.}}, author = {{Sohler, Christian and Lammersen, Christiane}}, booktitle = {{Proceedings of the 23rd European Workshop on Computational Geometry (EWCG)}}, pages = {{69--72}}, title = {{{StrSort Algorithms for Geometric Problems}}}, year = {{2007}}, } @inproceedings{18660, author = {{Sohler, Christian and Czumaj, Artur}}, booktitle = {{Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS)}}, pages = {{570 -- 578}}, title = {{{Testing Expansion in Bounded-Degree Graphs}}}, year = {{2007}}, } @inproceedings{18662, author = {{Sohler, Christian and Czumaj, Artur}}, booktitle = {{Proceedings of the 24th International Symposium on Theoretical Aspects of Computer Science (STACS'07)}}, pages = {{536--548}}, title = {{{Small Space Representations for Metric Min-Sum k-Clustering and their Applications}}}, year = {{2007}}, } @article{18665, abstract = {{We present a novel analysis of a random sampling approach for four clustering problems in metric spaces: k-median, k-means, min-sum k-clustering, and balanced k-median. For all these problems, we consider the following simple sampling scheme: select a small sample set of input points uniformly at random and then run some approximation algorithm on this sample set to compute an approximation of the best possible clustering of this set. Our main technical contribution is a significantly strengthened analysis of the approximation guarantee by this scheme for the clustering problems.The main motivation behind our analyses was to design sublinear-time algorithms for clustering problems. Our second contribution is the development of new approximation algorithms for the aforementioned clustering problems. Using our random sampling approach, we obtain for these problems the first time approximation algorithms that have running time independent of the input size, and depending on k and the diameter of the metric space only. © 2006 Wiley Periodicals, Inc. Random Struct. Alg., 2007A preliminary extended abstract of this work appeared in Proceedings of the 31st Annual International Colloquium on Automata, Languages and Programming (ICALP), pp. 396407, 2004.}}, author = {{Sohler, Christian and Czumaj, Artur}}, journal = {{Random Structures & Algorithms}}, number = {{1-2}}, pages = {{226 ---- 256}}, title = {{{Sublinear-time approximation algorithms for clustering via random sampling}}}, volume = {{30}}, year = {{2007}}, } @inproceedings{18668, author = {{Sohler, Christian and Monemizahdeh, Morteza and Feldman, Dan}}, booktitle = {{Proceedings of the 23rd annual symposium on computational geometry (SoCG'07)}}, pages = {{11--18}}, title = {{{A PTAS for k-means clustering based on weak coresets}}}, year = {{2007}}, } @inproceedings{18669, author = {{Sohler, Christian and Czumaj, Artur and Frahling, Gereon}}, booktitle = {{Proceedings of the 19th Canadian Conference on Computational Geometry (CCCG)}}, pages = {{157--160}}, title = {{{Efficient kinetic data structures for MaxCut}}}, year = {{2007}}, } @inproceedings{2214, abstract = {{We present a randomized block-level storage virtualization for arbitrary heterogeneous storage systems that can distribute data in a fair and redundant way and can adapt this distribution in an efficient way as storage devices enter or leave the system. More precisely, our virtualization strategies can distribute a set of data blocks among a set of storage devices of arbitrary non-uniform capacities so that a storage device representing x% of the capacity in the system will get x% of the data (as long as this is in principle possible) and the different copies of each data block are stored so that no two copies of a data block are located in the same device. Achieving these two properties is not easy, and no virtualization strategy has been presented so far that has been formally shown to satisfy fairness and redundancy while being time- and space-eflcient and allowing an efficient adaptation to a changing set of devices.}}, author = {{Brinkmann, André and Effert, Sascha and Meyer auf der Heide, Friedhelm and Scheideler, Christian}}, booktitle = {{IEEE International Conference on Distributed Computing Systems (ICDCS)}}, title = {{{Dynamic and redundant data placement}}}, year = {{2007}}, } @inproceedings{22330, author = {{Frank, Ursula and Gausemeier, Jürgen and Schmidt, Alexander and Zimmer, Detmar}}, booktitle = {{Internationales Forum Mechatronik. Intelligente Systeme und Module}}, isbn = {{978-3-033-01192-2}}, publisher = {{Züricher Hochschule für Angewandte Wissenschaften Institut für Mechatronische Systeme}}, title = {{{Von der Mechatronik zur Selbstoptimierung}}}, year = {{2007}}, } @inproceedings{22331, author = {{Gausemeier, Jürgen and Dangelmaier, Wilhelm and Zimmer, Detmar and Schmidt, Alexander and Frank, Ursula and Klöpper, Benjamin}}, booktitle = {{Computers and Information in Engineering Conference, Parts A and B}}, isbn = {{0-7918-3806-4}}, pages = {{935--944}}, publisher = {{American Society of Mechanical Engineers}}, title = {{{Using Active Patterns for the Conceptual Design of Self-Optimizing Systems Exemplified by an Air Gap Adjustment System}}}, doi = {{10.1115/DETC2007-34642}}, volume = {{27}}, year = {{2007}}, } @inproceedings{22332, author = {{Gausemeier, Jürgen and Zimmer, Detmar and Frank, Ursula and Pook, Sebastian and Schmidt, Alexander}}, booktitle = {{International Conference of Engineering Design}}, isbn = {{1-904670-02-4}}, pages = {{311--323}}, title = {{{Conceptual Design of Self-Optimizing Systems Exemplified by a Magnetic Linear Drive}}}, volume = {{16}}, year = {{2007}}, } @inproceedings{22333, author = {{Zimmer, Detmar and Möller, Jens}}, booktitle = {{VDI-Gesellschaft Entwicklung Konstruktion Vertrieb (VDI-EKV)}}, isbn = {{978-3-18-091997-3}}, pages = {{305--322}}, publisher = {{: VDI Verlag GmbH }}, title = {{{Messung von radialen Lagerkräften an einem CVT-Variator mit Schubgliederband}}}, year = {{2007}}, } @article{22334, author = {{Zimmer, Detmar and Felgenhauer, Benedikt and Möller, Jens}}, isbn = {{0373-3300}}, journal = {{Konstruktion - Zeitschrift für Produktentwicklung und Ingenieur-Werkstoffe }}, number = {{6}}, pages = {{78--82}}, publisher = {{Springer-VDI-Verlag }}, title = {{{Messung der radialen Lagerkräfte eines CVT-Variators}}}, volume = {{59}}, year = {{2007}}, } @book{22335, author = {{Gausemeier, Jürgen and Frank, Ursula and Pook, Sebastian and Zimmer, Detmar and Schmidt, Alexander}}, isbn = {{978-3-939350-29-3}}, pages = {{175--196}}, publisher = {{W. V. Westfalia Druck GmbH}}, title = {{{Konzipierung selbstoptimierender Systeme am Beispiel eines magnetischen Linearantriebs}}}, year = {{2007}}, } @inproceedings{22336, author = {{Denzer, Vera}}, booktitle = {{CIRP Conference on Computer Aided Tolerancing. Specification and Verification for Assemblies}}, isbn = {{978-3-8322-6036-1}}, pages = {{39}}, publisher = {{Shaker Verlag }}, title = {{{Dimensioning and tolerancing in international comparison. Confrontation of standardisation works of GPS and GD&T}}}, volume = {{10}}, year = {{2007}}, } @phdthesis{22337, author = {{Felgenhauer, Benedikt}}, isbn = {{978-3-89959-625-0}}, publisher = {{Der Andere Verlag}}, title = {{{Untersuchungen zur Verformung, zum Lauf des Umschlingungsmittels und zur Reibung in einem stufenlosen Umschlingungsgetriebe}}}, year = {{2007}}, } @article{23278, author = {{Bruns, Torsten and Schäfer, Erika}}, journal = {{International Journal of Vehicle Systems Modelling and Testing 2007}}, pages = {{276--295}}, title = {{{Modelling and Identification of an All-Terrain Vehicle}}}, year = {{2007}}, } @inproceedings{23281, author = {{Henke, Christian and Rustemeier, Carsten and Schneider, Tobias and Böcker, Joachim and Trächtler, Ansgar}}, booktitle = {{Internationaler ETG - Kongress 2007}}, title = {{{RailCab - Ein Schienenverkehrssystem mit autonomen, Linearmotor getriebenen Einzelfahrzeugen}}}, year = {{2007}}, } @article{23282, author = {{Cinkaya, Hueseyin and Noelle, Rene and Münch, Eckehard and Trächtler, Ansgar}}, journal = {{AIM 2007}}, title = {{{Self-Calibration of the 6-dof Parallel Robot TriPlanar by Identification of the Geometry Parameters}}}, year = {{2007}}, } @inproceedings{23283, author = {{Nachtigal, Vitalij and Trächtler, Ansgar and Jäker, Karl-Peter}}, booktitle = {{5th IFAC Symposium on Advances in Automotive Control (AAC)}}, title = {{{X-by-Wire Test Vehicle for the Test of New Design Methods and Tools to Interconnect Vehicle-Dynamics Control Systems}}}, year = {{2007}}, } @inproceedings{23284, author = {{Salfeld, Maike and Stabrey, Stephan and Trächtler, Ansgar}}, booktitle = {{5th IFAC Symposium on Advances in Automotive Control (AAC)}}, title = {{{Optimal Control Inputs to Affect Vehicle Dynamics in Various Driving States}}}, year = {{2007}}, } @inproceedings{23285, author = {{Just, Viktor and Trächtler, Ansgar and Jäker, Karl-Peter}}, booktitle = {{Mechatronik 2007}}, title = {{{Modellierung des Papiertransports in Geldautomaten}}}, year = {{2007}}, } @article{23286, author = {{Cinkaya, Hueseyin and Münch, Eckehard and Noelle, Rene and Trächtler, Ansgar and Toepper, S.}}, journal = {{Mechatronik 2007: Innovative Produktentwicklung}}, title = {{{Selbstkalibrierung des 6 DOF Parallelroboters TRIPLANAR durch Identifikation der Geometrieparameter mit einem einfachen Messverfahren}}}, year = {{2007}}, } @article{23287, author = {{Burmester, Sven and Giese, Holger and Henkler, Stefan and Hirsch, Martin and Tichy, Matthias and Gambuzza, Alfonso and Münch, Eckehard and Voecking, Henner}}, journal = {{29th International Conference on Software Engineering (ICSE)}}, pages = {{801--804}}, title = {{{Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View}}}, year = {{2007}}, } @article{23288, author = {{Trächtler, Ansgar}}, journal = {{Paderborner Workshop Entwurf Mechatronischer Systeme (EMS)}}, title = {{{Modellbasierter Entwurf mechatronischer Fahrwerksysteme}}}, year = {{2007}}, } @article{23289, author = {{Frank, Ursula and Giese, Holger and Müller, Thomas and Oberthür, Simon and Romaus, Christoph and Tichy, Matthias and Voecking, Henner}}, journal = {{Paderborner Workshop Entwurf Mechatronischer Systeme (EMS)}}, title = {{{Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme }}}, volume = {{5}}, year = {{2007}}, } @article{23290, author = {{Münch, Eckehard and Cinkaya, Hueseyin and Trächtler, Ansgar}}, journal = {{Paderborner Workshop Entwurf Mechatronischer Systeme (EMS)}}, number = {{5}}, title = {{{Realisierung eines Werkzeuges zur algorithmischen Differenzierung von Modellen mechatronischer Systeme}}}, year = {{2007}}, } @article{23291, author = {{Salfeld, Maike and Stabrey, Stephan and Trächtler, Ansgar}}, journal = {{chassis.tech 2007}}, title = {{{Analysis of the Vehicle Dynamics and Yaw Moment Maximization in Skid Maneuvers}}}, year = {{2007}}, } @inproceedings{21776, author = {{Krevert, B. and Dang, T. B. and Weise, R. and Fricke, H. and Domik, Gitta and Buchert, W.}}, booktitle = {{45. Jahrestagung der DGN}}, title = {{{Ein plattformunabhängiges Softwaretool für die schnelle Qualitätskontrolle von Transmissions- und dynamischen Emissionsdaten in der PET}}}, year = {{2007}}, } @article{2209, author = {{Aggarwal, Vinay and Feldmann, Anja and Scheideler, Christian}}, journal = {{ACM Computer Commucation Review}}, title = {{{Can ISPs and P2P users cooperate for improved performance?}}}, doi = {{10.1145/1273445.1273449}}, year = {{2007}}, } @inproceedings{9560, author = {{Tonchev, Anton and Hirschberg, Wolfgang and Sextro, Walter and Major, Zoltan and Neges, Josef}}, booktitle = {{27. Internationales Mju-Symposium/Bremsen-Fachtagung}}, number = {{657}}, pages = {{29 -- 49}}, publisher = {{VDI Verlag GmbH}}, title = {{{Modellierung der Hysterese- und Adhäsionseffekte zwischen Bremsbelag und Bremsscheibe}}}, year = {{2007}}, } @inproceedings{9561, author = {{Tonchev, Anton and Hirschberg, Wolfgang and Sextro, Walter and Major, Zoltan and Neges, Josef}}, booktitle = {{27. Internationales Mju-Symposium/Bremsen-Fachtagung}}, number = {{657}}, pages = {{144--163}}, publisher = {{VDI Verlag GmbH}}, title = {{{Modelling of Hysteresis and Adhesion Effects between Brake Pad and Disc}}}, year = {{2007}}, } @inproceedings{9562, abstract = {{Penetration tests (Magness-Taylor, force/deformation, Kramer multiblade shear) applied directly over the peel of the fruit are the most acceptable methods for measuring firmness and turgidity of fruits and vegetables [1, 2]. To replace these destructive and mechanical penetration methods by non-destructive ultrasonic measurements implies a great advance in order to obtain fast studies about the state of the fruit at the time of harvest, during storage, and in the distribution points. Moreover, there are other advantages since this technique can be fast, non-destructive, fully automated, and performed on-line [1]. Within this context, the objective of this study was to examine the relationship between physico-mechanical characteristics (oil-gland break stress, thickness and dehydration) and ultrasonic characteristics in the ``Salustiana'' orange peel during the complete dehydration process of the orange at ambient conditions. After a description of the measurement system [3], the fruit selection procedure and the measurement protocol, we analyze the results of the change of physico-mechanical and ultrasonic properties in the orange peel and their change with storage time.}}, author = {{Camarena Gandia, Francisco and Hemsel, Tobias and Espinosa, Victor and Twiefel, Jens and Ardid, Miquel and Martinez-Mora, Joan and Gandia, Joan Babtiste}}, booktitle = {{Proceedings of 19th international congress on Acoustics, Madrid}}, title = {{{Non-destructive ultrasonic test of orange dehydration}}}, year = {{2007}}, } @inproceedings{9563, author = {{Genzo, Alexander and Sextro, Walter and Panning, Lars}}, booktitle = {{VDI-Berichte}}, pages = {{147--161}}, publisher = {{VDI Verlag GmbH}}, title = {{{Schwingungsverhalten elastischer Körper mit nichtlinearen Kopplungen in ausgedehnten Reibkontakten}}}, volume = {{2022}}, year = {{2007}}, } @article{9564, abstract = {{Surgical resection of brain tumours is a difficult task. To enhance surgery results, a tactile sensor is wanted that gives better resolution and sensitivity than the human tactile sense. The characteristics of resonant vibrating piezoelectric elements change with varying load. This allows for calculation of mechanical load parameters by measuring electrical quantities. Different setups of piezoelectric sensors have been used to investigate soft materials. Finally, a piezoelectric bimorph sensor gave good results for distinguishing tissue mimicking gel-phantoms with different gelatine concentrations. }}, author = {{Hemsel, Tobias and Stroop, Ralf and Oliva Uribe, David and Wallaschek, Jörg}}, issn = {{0022-460X}}, journal = {{Journal of Sound and Vibration}}, pages = {{441 -- 446}}, title = {{{Resonant vibrating sensors for tactile tissue differentiation}}}, doi = {{10.1016/j.jsv.2007.03.063}}, volume = {{308}}, year = {{2007}}, } @inproceedings{9565, author = {{Lierke, Ernst-Günter and Hemsel, Tobias}}, booktitle = {{Proceedings of 19th international congress on Acoustics, Madrid}}, title = {{{Perspectives of Tumour Therapy by Local Ultrasonic Hyperthermia and Thermal Ablation}}}, year = {{2007}}, } @article{9566, author = {{Shigematsu , Takashi and Morita, Takeshi and Hemsel, Tobias}}, journal = {{Proceedings of Symposium on Ultrasonic Electronics}}, pages = {{439 -- 440}}, title = {{{Fundamental Study on A Thickness-Shear Transformer using X-Cut Lithium Niobate}}}, volume = {{28}}, year = {{2007}}, } @article{9567, abstract = {{Numerical predictions of the forced vibration of a disk assembly including frictional effects between the shrouds are presented concerning engineering needs for the blade design process. Assuming a tuned disk assembly, numerical static, free, and then forced vibration analyses of a shrouded turbine blade measured in the spin pit are performed systematically. For the excitation forces of an air jet evaluated from the fairly linear behavior of the experimental blade resonance peaks, the reliability of the proposed approach is validated through the very close agreement of the computed and measured resonant peaks. These resonant peaks demonstrate either a fairly linear behavior or a nonlinear one like the jump effect of blade resonance amplitudes, or elastic impacts between the shrouds. Also, the damping performance for different contact configurations between the shrouds is numerically analyzed. These numerical results indicate that the shrouds generate higher frictional damping for small angles (0{\^a}30deg) between the circumferential direction and the normal vector to the contact surface.}}, author = {{Szwedowicz, J and Visser, R and Sextro, Walter and Masserey, P. A}}, issn = {{0889-504X}}, journal = {{Journal of Turbomachinery}}, number = {{1}}, pages = {{011002--011002}}, title = {{{On Nonlinear Forced Vibration of Shrouded Turbine Blades}}}, volume = {{130}}, year = {{2007}}, } @proceedings{7778, editor = {{Engels, Gregor and Opdyke, B. and C. Schmidt, D. and Weil, F.}}, publisher = {{Springer}}, title = {{{Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA)}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-75209-7}}, volume = {{4735}}, year = {{2007}}, } @proceedings{7779, editor = {{Pleuß, Andreas and Van den Bergh, Jan and Hußmann, Heinrich and Sauer, Stefan and Görlich, Daniel}}, publisher = {{University of Aachen}}, title = {{{Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI '07), Nashville, Tennessee (USA)}}}, volume = {{297}}, year = {{2007}}, } @inproceedings{7958, author = {{Schattkowsky, Tim and Engels, Gregor and Förster, Alexander}}, booktitle = {{Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)}}, pages = {{286ff.}}, publisher = {{IEEE Computer Society}}, title = {{{A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency}}}, doi = {{http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22}}, year = {{2007}}, } @inproceedings{7960, author = {{Küster, Jochen and Ryndina, Ksenia and Gall, Harald}}, booktitle = {{Proceedings of the conference on Business Process Management (BPM 2007), Brisbane (Australia)}}, pages = {{165--181}}, publisher = {{Springer}}, title = {{{Generation of Business Process Models for Object Life Cycle Compliance}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1007/978-3-540-75183-0_13}}, volume = {{4714}}, year = {{2007}}, } @inproceedings{7961, author = {{Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich and Bödcher, Alexander}}, booktitle = {{MoDELS 2006 Workshops}}, pages = {{101--105}}, publisher = {{Springer}}, title = {{{Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_13}}, volume = {{4364}}, year = {{2007}}, } @inproceedings{7962, abstract = {{GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assembling of the user interface components. We have developed the tool GuiBuilder which follows a model-driven approach to the development of graphical (multimedia) user interfaces. This allows a meta-design approach where user interface developers as well as prospective users of the system are supported in modelling the desired functionality of the GUI on a high level of abstraction that is easy to understand for all involved stakeholders. The model consists of compositional presentation diagrams to model the structure of the user interface and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports the transformation of the model to Java, i.e., the generation of a working user interface and the simulation of the modelled behaviour. Interactive sessions with the user interface can be recorded and replayed.}}, author = {{Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)}}, pages = {{537--546}}, publisher = {{Springer}}, title = {{{Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-73279-2_60}}, volume = {{4554}}, year = {{2007}}, } @inproceedings{7963, author = {{Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Erwig, Martin}}, booktitle = {{Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)}}, number = {{9}}, pages = {{383--398}}, publisher = {{Journal of Object Technology}}, title = {{{ClassSheets - model-based, object-oriented design of spreadsheet applications}}}, doi = {{http://www.jot.fm/issues/issue_2007_10/paper19/index.html}}, volume = {{6}}, year = {{2007}}, } @inproceedings{7964, author = {{Mlynarski, Michael and Hinkelmann, Knut and Magenheim, Johannes and Nelkner, Tobias and Reinhardt, Wolfgang and Holzweissig, Kai}}, booktitle = {{Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007}}, pages = {{487--492}}, publisher = {{Springer}}, title = {{{KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management}}}, year = {{2007}}, } @inproceedings{7965, author = {{Förster, Alexander and Engels, Gregor and Schattkowsky, Tim and Van Der Straeten, Ragnhild}}, booktitle = {{Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)}}, pages = {{197--208}}, publisher = {{IEEE Computer Society}}, title = {{{Verification of Business Process Quality Constraints Based on Visual Process Patterns}}}, doi = {{http://dx.doi.org/10.1109/TASE.2007.56}}, year = {{2007}}, } @inproceedings{7966, author = {{Hess, Andreas and Humm, Bernhard and Voß, Markus and Engels, Gregor}}, booktitle = {{Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)}}, pages = {{122--129}}, publisher = {{IEEE Computer Society}}, title = {{{Structuring Software Cities - A Multidimensional Approach}}}, year = {{2007}}, } @inproceedings{7967, author = {{Mlynarski, Michael and Nelkner, Tobias and Reinhardt, Wolfgang}}, booktitle = {{Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn}}, pages = {{99--102}}, title = {{{Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}}}, year = {{2007}}, }