@inbook{25337, author = {{Geierhos, Michaela and Bäumer, Frederik S. and Schulze, Sabine and Klotz, Caterina}}, booktitle = {{Modeling and Using Context}}, issn = {{0302-9743}}, title = {{{Understanding the Patient 2.0}}}, doi = {{10.1007/978-3-319-25591-0_12}}, year = {{2015}}, } @inproceedings{20008, author = {{Hamann, Heiko and Valentini, Gabriele}}, booktitle = {{Ninth Int. Conf. on Swarm Intelligence (ANTS 2014)}}, isbn = {{9783319099514}}, issn = {{0302-9743}}, title = {{{Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins}}}, doi = {{10.1007/978-3-319-09952-1_15}}, year = {{2014}}, } @inbook{20982, abstract = {{Real-time software-intensive embedded systems complexity, as in the automotive domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specication and the simulative validation of functional requirements. However, the dependencies between events occurring in different MSD scenarios are implicit so that it is difficult to find causes of requirements defects, if any. The automotive architecture description language EAST-ADL addresses this problem by relying on event chains, which make dependencies between events explicit. However, EAST-ADL event chains have a low abstraction level, and their relationship to functional requirements has seldom been investigated. Based on the EAST-ADL functional architecture, we propose to use its central notion of event to conciliate both approaches. We conceived an automatic transformation from the high abstraction level requirements specified in MSDs to the low abstraction level event chains. }}, author = {{Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}}, booktitle = {{Software Architecture}}, isbn = {{9783319099699}}, issn = {{0302-9743}}, title = {{{Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}}}, doi = {{10.1007/978-3-319-09970-5_14}}, year = {{2014}}, } @inproceedings{6741, author = {{Bokermann, Dennis and Gerth, Christian and Engels, Gregor}}, booktitle = {{12th International Conference on Business Process Management (BPM 2014)}}, isbn = {{9783319101712}}, issn = {{0302-9743}}, pages = {{357--365}}, publisher = {{Springer International Publishing}}, title = {{{Use Your Best Device! Enabling Device Changes at Runtime}}}, doi = {{10.1007/978-3-319-10172-9_23}}, volume = {{8659}}, year = {{2014}}, } @book{16870, editor = {{Flocchini, Paola and Gao, Jie and Kranakis, Evangelos and Meyer auf der Heide, Friedhelm}}, isbn = {{9783642453458}}, issn = {{0302-9743}}, publisher = {{Springer}}, title = {{{Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013}}}, doi = {{10.1007/978-3-642-45346-5}}, volume = {{8243}}, year = {{2014}}, } @inproceedings{15092, author = {{Böttcher, Stefan and Hartel, Rita and Rabe, Jonathan}}, booktitle = {{Database and Expert Systems Applications - 25th International Conference, DEXA 2014}}, isbn = {{9783319100722}}, issn = {{0302-9743}}, pages = {{122--137}}, publisher = {{Springer}}, title = {{{Efficient XML Keyword Search Based on DAG-Compression}}}, doi = {{10.1007/978-3-319-10073-9_11}}, year = {{2014}}, } @inbook{16394, author = {{Lukovszki, Tamás and Meyer auf der Heide, Friedhelm}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783319144719}}, issn = {{0302-9743}}, title = {{{Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots}}}, doi = {{10.1007/978-3-319-14472-6_17}}, year = {{2014}}, } @inbook{16395, author = {{Abshoff, Sebastian and Meyer auf der Heide, Friedhelm}}, booktitle = {{Structural Information and Communication Complexity}}, isbn = {{9783319096193}}, issn = {{0302-9743}}, title = {{{Continuous Aggregation in Dynamic Ad-Hoc Networks}}}, doi = {{10.1007/978-3-319-09620-9_16}}, year = {{2014}}, } @inbook{47839, author = {{Fourné, Marcel and Stegemann, Kevin and Petersen, Dominique and Pohlmann, Norbert}}, booktitle = {{Information and Communication Technology}}, isbn = {{9783642550317}}, issn = {{0302-9743}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Aggregation of Network Protocol Data Near Its Source}}}, doi = {{10.1007/978-3-642-55032-4_49}}, year = {{2014}}, } @inbook{2979, author = {{Blömer, Johannes and Günther, Peter and Liske, Gennadij}}, booktitle = {{Constructive Side-Channel Analysis and Secure Design}}, isbn = {{9783642400254}}, issn = {{0302-9743}}, pages = {{154--168}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Improved Side Channel Attacks on Pairing Based Cryptography}}}, doi = {{10.1007/978-3-642-40026-1_10}}, year = {{2013}}, } @inbook{6276, author = {{Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}}, booktitle = {{Distributed, Ambient, and Pervasive Interactions}}, isbn = {{9783642393501}}, issn = {{0302-9743}}, location = {{Las Vegas, USA}}, pages = {{32--41}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{A Taxonomy-Based Approach towards NUI Interaction Design}}}, doi = {{10.1007/978-3-642-39351-8_4}}, volume = {{8028}}, year = {{2013}}, } @inbook{6279, author = {{Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}}, booktitle = {{Design, User Experience, and Usability. Design Philosophy, Methods, and Tools}}, isbn = {{9783642392283}}, issn = {{0302-9743}}, location = {{Las Vegas, USA}}, pages = {{252--261}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}}}, doi = {{10.1007/978-3-642-39229-0_28}}, volume = {{8012}}, year = {{2013}}, } @inproceedings{6732, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, booktitle = {{Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}}, isbn = {{9783642403125}}, issn = {{0302-9743}}, pages = {{729--740}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Separating Regular Languages by Piecewise Testable and Unambiguous Languages}}}, doi = {{10.1007/978-3-642-40313-2_64}}, year = {{2013}}, } @inproceedings{15093, author = {{Böttcher, Stefan and Hartel, Rita and Jacobs, Thomas}}, booktitle = {{Big Data - 29th British National Conference on Databases, BNCOD 2013,}}, isbn = {{9783642394669}}, issn = {{0302-9743}}, pages = {{149--164}}, publisher = {{Springer}}, title = {{{Fast Multi-update Operations on Compressed XML Data}}}, doi = {{10.1007/978-3-642-39467-6_15}}, year = {{2013}}, } @inbook{16406, abstract = {{In order to evaluate the efficiency of algorithms for real-time 3D rendering, different properties like rendering time, occluded triangles, or image quality, need to be investigated. Since these properties depend on the position of the camera, usually some camera path is chosen, along which the measurements are performed. As those measurements cover only a small part of the scene, this approach hardly allows drawing conclusions regarding the algorithm's properties at arbitrary positions in the scene. The presented method allows the systematic and position-independent evaluation of rendering algorithms. It uses an adaptive sampling approach to approximate the distribution of a property (like rendering time) for all positions in the scene. This approximation can be visualized to produce an intuitive impression of the algorithm's behavior or be statistically analyzed for objectively rating and comparing algorithms. We demonstrate our method by evaluating performance aspects of a known occlusion culling algorithm. }}, author = {{Jähn, Claudius and Eikel, Benjamin and Fischer, Matthias and Petring, Ralf and Meyer auf der Heide, Friedhelm}}, booktitle = {{Advances in Visual Computing}}, isbn = {{9783642419133}}, issn = {{0302-9743}}, title = {{{Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties}}}, doi = {{10.1007/978-3-642-41914-0_12}}, year = {{2013}}, } @inbook{16407, abstract = {{Many virtual 3D scenes, especially those that are large, are not structured evenly. For such heterogeneous data, there is no single algorithm that is able to render every scene type at each position fast and with the same high image quality. For a small set of scenes, this situation can be improved if different rendering algorithms are manually assigned to particular parts of the scene by an experienced user. We introduce the Multi-Algorithm-Rendering method. It automatically deploys different rendering algorithms simultaneously for a broad range of scene types. The method divides the scene into subregions and measures the behavior of different algorithms for each region in a preprocessing step. During runtime, this data is utilized to compute an estimate for the quality and running time of the available rendering algorithms from the observer's point of view. By solving an optimizing problem, the image quality can be optimized by an assignment of algorithms to regions while keeping the frame rate almost constant. }}, author = {{Petring, Ralf and Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}}, booktitle = {{Advances in Visual Computing}}, isbn = {{9783642419133}}, issn = {{0302-9743}}, title = {{{Real-Time 3D Rendering of Heterogeneous Scenes}}}, doi = {{10.1007/978-3-642-41914-0_44}}, year = {{2013}}, } @inproceedings{20179, author = {{Hamann, Heiko and Engelbrecht, Andreas and Birattari, Mauro and Dorigo, Marco and Blum, Christian and Stuetzle, Thomas and Christensen, Anders Lyhne and Gross, Roderich}}, booktitle = {{Swarm Intelligence: 8th International Conference, ANTS 2012}}, isbn = {{9783642326493}}, issn = {{0302-9743}}, pages = {{168--179}}, publisher = {{Springer}}, title = {{{Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions}}}, doi = {{10.1007/978-3-642-32650-9_15}}, volume = {{7461}}, year = {{2012}}, } @inbook{2918, author = {{Kakvi, Saqib and Kiltz, Eike and May, Alexander}}, booktitle = {{Advances in Cryptology – ASIACRYPT 2012}}, isbn = {{9783642349607}}, issn = {{0302-9743}}, pages = {{404--414}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Certifying RSA}}}, doi = {{10.1007/978-3-642-34961-4_25}}, year = {{2012}}, } @inbook{2919, author = {{Kakvi, Saqib and Kiltz, Eike}}, booktitle = {{Advances in Cryptology – EUROCRYPT 2012}}, isbn = {{9783642290107}}, issn = {{0302-9743}}, pages = {{537--553}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Optimal Security Proofs for Full Domain Hash, Revisited}}}, doi = {{10.1007/978-3-642-29011-4_32}}, year = {{2012}}, } @inbook{16445, author = {{Kempkes, Barbara and Meyer auf der Heide, Friedhelm}}, booktitle = {{Experimental Algorithms}}, isbn = {{9783642308499}}, issn = {{0302-9743}}, title = {{{Continuous Local Strategies for Robotic Formation Problems}}}, doi = {{10.1007/978-3-642-30850-5_2}}, year = {{2012}}, }