Search - IFIP Open Digital Library Access content directly

Filter your results

86 results
Structure: Internal structure identifier : 303510
Image document

Generic Constructions of Biometric Identity Based Encryption Systems

Neyire Deniz Sarier
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.90-105, ⟨10.1007/978-3-642-12368-9_7⟩
Conference papers hal-01056064v1
Image document

A Game-Theoretic Approach to Routing under Adversarial Conditions

James Gross , Frank G. Radmacher , Wolfgang Thomas
6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.355-370, ⟨10.1007/978-3-642-15240-5_26⟩
Conference papers hal-01054447v1
Image document

Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures

Michael Braun , Ulrike Meyer , Susanne Wetzel
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.122-137, ⟨10.1007/978-3-642-12368-9_9⟩
Conference papers hal-01056062v1
Image document

Pattern-Based Competence Management: On the Gap between Intentions and Reality

Ralf Klamma , Zinayida Petrushyna
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.364-371, ⟨10.1007/978-3-642-15961-9_43⟩
Conference papers hal-01055972v1
Image document

Reconfigurable Self-optimising Handling System

Rainer Müller , Martin Riedel , Matthias Vette , Burkhard Corves , Martin Esser , et al.
5th IFIP WG 5.5 International Precision Assembly Seminar (IPAS), Feb 2010, Chamonix, France. pp.255-262, ⟨10.1007/978-3-642-11598-1_30⟩
Conference papers hal-01055676v1
Image document

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

Bettina Braitling , Ralf Wimmer , Bernd Becker , Nils Jansen , Erika Ábrahám
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.75-89, ⟨10.1007/978-3-642-21461-5_5⟩
Conference papers hal-01583324v1
Image document

From Groupware to Social Media - A Comparison of Conceptual Models

Nils Jeners , Wolfgang Prinz
13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.416-423, ⟨10.1007/978-3-642-32775-9_42⟩
Conference papers hal-01520438v1
Image document

Tolerance Management for Assembly – Not a Matter of Product Size

Rainer Müller , Martin Esser , Christian Janssen , Matthias Vette , Stefan Quinders
6th International Precision Assembly Seminar (IPAS), Feb 2012, Chamonix, France. pp.97-104, ⟨10.1007/978-3-642-28163-1_13⟩
Conference papers hal-01363889v1
Image document

CaPTIF: Comprehensive Performance TestIng Framework

Daniel A. Mayer , Orie Steele , Susanne Wetzel , Ulrike Meyer
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.55-70, ⟨10.1007/978-3-642-34691-0_6⟩
Conference papers hal-01482411v1
Image document

On Complexity Reduction of User Interfaces for Safety-Critical Systems

Andreas Holzinger , Evgenia Popova , Bernhard Peischl , Martina Ziefle
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.108-122, ⟨10.1007/978-3-642-32498-7_9⟩
Conference papers hal-01542450v1
Image document

Community Dynamics in Open Source Software Projects: Aging and Social Reshaping

Anna Hannemann , Ralf Klamma
9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.80-96, ⟨10.1007/978-3-642-38928-3_6⟩
Conference papers hal-01467583v1
Image document

Towards Changeable Production Systems – Integration of the Internal and External Flow of Information as an Enabler for Real-Time Production Planning and Controlling

Volker Stich , Niklas Hering , Stefan Kompa , Ulrich Brandenburg
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.56-63, ⟨10.1007/978-3-642-40361-3_8⟩
Conference papers hal-01470688v1
Image document

Business Processes and Standard Operating Procedures: Two Coins with Similar Sides

Gertraud Peinel , Thomas Rose
12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.224-236, ⟨10.1007/978-3-642-40358-3_19⟩
Conference papers hal-01490909v1
Image document

Simplifying Remote Collaboration through Spatial Mirroring

Fabian Hennecke , Simon Voelker , Maximilian Schenk , Hauke Schaper , Jan Borchers , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.624-631, ⟨10.1007/978-3-642-40477-1_41⟩
Conference papers hal-01504916v1
Image document

Optimal Control of Unsteady Flows Using a Discrete and a Continuous Adjoint Approach

Angelo Carnarius , Frank Thiele , Emre Özkaya , Anil Nemili , Nicolas R. Gauger
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.318-327, ⟨10.1007/978-3-642-36062-6_32⟩
Conference papers hal-01347552v1
Image document

Conception of Technology Chains in Battery Production

Achim Kampker , Heiner Hans Heimes , Christian Sesterheim , Marc Schmidt
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.199-209, ⟨10.1007/978-3-642-41266-0_25⟩
Conference papers hal-01452114v1
Image document

Energy Efficient Production through a Modified–Green–PPC and a Communication Framework for the Energy Supply Chain to Manage Energy Consumption and Information

Ulrich Brandenburg , Sebastian Kropp , Jorge Sunyer , Daniel Batalla-Navarro
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.9-16, ⟨10.1007/978-3-642-40352-1_2⟩
Conference papers hal-01472247v1
Image document

Mechanical Properties of Laser Beam Melting Components Depending on Various Process Errors

Stefan Kleszczynski , Joschka Zur Jacobsmühlen , Jan T. Sehrt , Gerd Witt
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.153-166, ⟨10.1007/978-3-642-41329-2_16⟩
Conference papers hal-01485809v1
Image document

Numerical Methods for the Optimal Control of Scalar Conservation Laws

Sonja Steffensen , Michael Herty , Lorenzo Pareschi
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.136-144, ⟨10.1007/978-3-642-36062-6_14⟩
Conference papers hal-01347531v1
Image document

A Generic Multi-layer Network Optimization Model with Demand Uncertainty

Uwe Steglich , Thomas Bauschert , Christina Büsing , Manuel Kutschka
19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.13-24, ⟨10.1007/978-3-642-40552-5_2⟩
Conference papers hal-01497029v1
Image document

Older Users’ Wish List for Technology Attributes

Simon Himmel , Martina Ziefle , Chantal Lidynia , Andreas Holzinger
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.16-27
Conference papers hal-01506769v1
Image document

Energy-Efficiency Concept for the Manufacturing Industry

Volker Stich , Niklas Hering , Christian Paul Starick , Ulrich Brandenburg
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.86-93, ⟨10.1007/978-3-642-41266-0_11⟩
Conference papers hal-01452102v1
Image document

A Meta-Model for Cooperation Systems

Nils Jeners , Wolfgang Prinz , Sebastian Franken
14th Working Conference on Virtual Enterprises, (PROVE), Sep 2013, Dresden, Germany. pp.239-246, ⟨10.1007/978-3-642-40543-3_26⟩
Conference papers hal-01463214v1
Image document

Designing Rotationally Symmetric Products for Multi-variant Mass Production by Using Production-Technical Solution Space

Guenther Schuh , Till Potente , Christina Thomas , Stephan Schmitz
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.286-293, ⟨10.1007/978-3-642-40352-1_36⟩
Conference papers hal-01472254v1
Image document

Cyber-Physical Production Management

Guenther Schuh , Till Potente , Christina Thomas , Annika Hauptvogel
20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.477-484, ⟨10.1007/978-3-642-41263-9_59⟩
Conference papers hal-01449758v1
Image document

On Graph Entropy Measures for Knowledge Discovery from Publication Network Data

Andreas Holzinger , Bernhard Ofner , Christof Stocker , André Calero Valdez , Anne Kathrin Schaar , et al.
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.354-362
Conference papers hal-01506782v1
Image document

Reorganization and IT Implementation in Campus Management: The Project “PuL” at RWTH Aachen University

Marcel Lämmerhirt , Marguerite Franssen , Christoph Becker
10th Next Generation of Information Technology in Educational Management (ITEM), Aug 2012, Bremen, Germany. pp.142-147, ⟨10.1007/978-3-642-38411-0_13⟩
Conference papers hal-01468470v1
Image document

Addressing Phase Transitions in Wireless Networking Optimization

Maria Michalopoulou , Petri Mähönen
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.103-114, ⟨10.1007/978-3-642-54140-7_9⟩
Conference papers hal-01291504v1
Image document

Navigation Support in Evolving Open-Source Communities by a Web-Based Dashboard

Anna Hannemann , Kristjan Liiva , Ralf Klamma
10th IFIP International Conference on Open Source Systems (OSS), May 2014, San José, Costa Rica. pp.11-20, ⟨10.1007/978-3-642-55128-4_2⟩
Conference papers hal-01373051v1
Image document

Parametric LTL on Markov Chains

Souymodip Chakraborty , Joost-Pieter Katoen
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.207-221, ⟨10.1007/978-3-662-44602-7_17⟩
Conference papers hal-01402042v1