@inbook{2968, author = {{Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler, Christian}}, booktitle = {{Algorithm Engineering}}, isbn = {{9783319494869}}, issn = {{0302-9743}}, pages = {{81--116}}, publisher = {{Springer International Publishing}}, title = {{{Theoretical Analysis of the k-Means Algorithm – A Survey}}}, doi = {{10.1007/978-3-319-49487-6_3}}, year = {{2016}}, } @inbook{2970, author = {{Blömer, Johannes and Bujna, Kathrin}}, booktitle = {{Advances in Knowledge Discovery and Data Mining}}, isbn = {{9783319317496}}, issn = {{0302-9743}}, pages = {{296--308}}, publisher = {{Springer International Publishing}}, title = {{{Adaptive Seeding for Gaussian Mixture Models}}}, doi = {{10.1007/978-3-319-31750-2_24}}, year = {{2016}}, } @inproceedings{5825, abstract = {{Integrating apps on mobile devices into applications running on other devices is usually difficult. For instance, using a messenger on a smartphone to share a text written on a desktop computer often ends up in a cumbersome solution to transfer the text, because many applications are not designed for such scenarios. In this paper, we present an approach enabling the integration of apps running on Android devices into applications running on other devices and even other platforms. This is achieved by specifying adapters for Android apps, which map their services to a platform-independent service interface. For this purpose, we have developed a domain-specific language to ease the specification of such mappings. Our approach is applicable without the need to modify the existing Android apps providing the service. We analyzed its feasibility by implementing our approach and by specifying mappings for several popular Android apps, e.g., phone book, camera, and file explorer.}}, author = {{Wolters, Dennis and Kirchhoff, Jonas and Gerth, Christian and Engels, Gregor}}, booktitle = {{Service-Oriented Computing}}, editor = {{Sheng, Quan Z. and Stroulia, Eleni and Tata, Samir and Bhiri, Sami }}, isbn = {{9783319462943}}, issn = {{0302-9743}}, keywords = {{Cross-Device, Integration, Android, Adapter, DSL}}, pages = {{171--185}}, publisher = {{Springer International Publishing}}, title = {{{Cross-Device Integration of Android Apps}}}, doi = {{10.1007/978-3-319-46295-0_11}}, year = {{2016}}, } @inbook{6257, author = {{Fischer, Holger Gerhard and Senft, Björn}}, booktitle = {{Human-Centered and Error-Resilient Systems Development}}, editor = {{Bogdan, Christian}}, isbn = {{9783319449012}}, issn = {{0302-9743}}, location = {{Stockholm, Sweden}}, pages = {{30--41}}, publisher = {{Springer International Publishing}}, title = {{{Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows}}}, doi = {{10.1007/978-3-319-44902-9_3}}, volume = {{9856}}, year = {{2016}}, } @inbook{2978, author = {{Blömer, Johannes and Bujna, Kathrin}}, booktitle = {{Advances in Knowledge Discovery and Data Mining}}, isbn = {{9783319317496}}, issn = {{0302-9743}}, pages = {{296--308}}, publisher = {{Springer International Publishing}}, title = {{{Adaptive Seeding for Gaussian Mixture Models}}}, doi = {{10.1007/978-3-319-31750-2_24}}, year = {{2016}}, } @inbook{60904, author = {{Yegenoglu, Alper and Quaglio, Pietro and Torre, Emiliano and Grün, Sonja and Endres, Dominik}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783319409849}}, issn = {{0302-9743}}, publisher = {{Springer International Publishing}}, title = {{{Exploring the Usefulness of Formal Concept Analysis for Robust Detection of Spatio-temporal Spike Patterns in Massively Parallel Spike Trains}}}, doi = {{10.1007/978-3-319-40985-6_1}}, year = {{2016}}, } @inbook{2921, author = {{Blazy, Olivier and Kakvi, Saqib and Kiltz, Eike and Pan, Jiaxin}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783662464465}}, issn = {{0302-9743}}, pages = {{256--279}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Tightly-Secure Signatures from Chameleon Hash Functions}}}, doi = {{10.1007/978-3-662-46447-2_12}}, year = {{2015}}, } @inbook{15897, author = {{Altmeier, Christian and Mainka, Christian and Somorovsky, Juraj and Schwenk, Jörg}}, booktitle = {{Data Privacy Management, and Security Assurance - 10th International Workshop, {DPM} 2015, and 4th International Workshop, {QASA} 2015}}, isbn = {{9783319298825}}, issn = {{0302-9743}}, location = {{Vienna}}, title = {{{AdIDoS – Adaptive and Intelligent Fully-Automatic Detection of Denial-of-Service Weaknesses in Web Services}}}, doi = {{10.1007/978-3-319-29883-2_5}}, year = {{2015}}, } @inbook{15899, author = {{Jager, Tibor and Schwenk, Jörg and Somorovsky, Juraj}}, booktitle = {{Computer Security -- ESORICS 2015}}, isbn = {{9783319241739}}, issn = {{0302-9743}}, title = {{{Practical Invalid Curve Attacks on TLS-ECDH}}}, doi = {{10.1007/978-3-319-24174-6_21}}, year = {{2015}}, } @inproceedings{15088, author = {{Böttcher, Stefan and Hartel, Rita and Jacobs, Thomas and Jeromin, Markus}}, booktitle = {{Data Science - 30th British International Conference on Databases, BICOD 2015}}, isbn = {{9783319204239}}, issn = {{0302-9743}}, pages = {{186--198}}, publisher = {{Springer}}, title = {{{ECST – Extended Context-Free Straight-Line Tree Grammars}}}, doi = {{10.1007/978-3-319-20424-6_18}}, year = {{2015}}, } @inbook{25338, 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}}, } @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}}, }