Search - IFIP Open Digital Library Access content directly

Filter your results

51 results
Structure: Internal structure identifier : 86624
Page :
sorted by
Image document

A Probabilistic Diffusion Scheme for Anomaly Detection on Smartphones

 Tansu Alpcan , Christian Bauckhage , Aubrey-Derrick Schmidt
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.31-46, ⟨10.1007/978-3-642-12368-9_3⟩
Conference papers hal-01056068v1
Image document

Developing a User-Centered Mobile Service Interface Based on a Cognitive Model of Attention Allocation

 Julia Niemann , Volker Presse , Jessika Reissland , Anja Naumann
Second IFIP TC 13 Symposium on Human-Computer Interaction (HCIS)/ Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.50-57, ⟨10.1007/978-3-642-15231-3_6⟩
Conference papers hal-01055461v1
Image document

A Taxonomy of Microinteractions: Defining Microgestures Based on Ergonomic and Scenario-Dependent Requirements

 Katrin Wolf , Anja Naumann , Michael Rohs , Jörg Müller
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.559-575, ⟨10.1007/978-3-642-23774-4_45⟩
Conference papers hal-01590584v1
Image document

Dynamic Spectrum Trade and Game-Theory Based Network Selection in LTE Virtualization Using Uniform Auctioning

 Manzoor Ahmed Khan , Yasir Zaki
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.39-55, ⟨10.1007/978-3-642-21560-5_4⟩
Conference papers hal-01583632v1
Image document

CSP as a Coordination Language

 Moritz Kleine
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.65-79, ⟨10.1007/978-3-642-21464-6_5⟩
Conference papers hal-01582993v1

Availability, Reliability and Security for Business, Enterprise and Health Information Systems

 A Min Tjoa , Gerald Quirchmayr , Ilsun You , Lida Xu
Springer, LNCS-6908, 2011, Lecture Notes in Computer Science, 978-3-642-23299-2. ⟨10.1007/978-3-642-23300-5⟩
Books hal-01590383v1
Image document

Utility-Based Analytical Model for Representing User QoE

 Manzoor Ahmed Khan , Jie Lu , Muhammad Amir Mehmood
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.323-337, ⟨10.1007/978-3-642-21560-5_27⟩
Conference papers hal-01583631v1
Image document

The Problem of Sensing Unused Cellular Spectrum

 Daniel Willkomm , Sridhar Machiraju , Jean Bolot , Adam Wolisz
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.198-212, ⟨10.1007/978-3-642-20798-3_15⟩
Conference papers hal-01597965v1
Image document

A Deep Dive into the LISP Cache and What ISPs Should Know about It

 Juhoon Kim , Luigi Iannone , Anja Feldmann
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.367-378, ⟨10.1007/978-3-642-20757-0_29⟩
Conference papers hal-01583403v1
Image document

Realizing the Broker Based Dynamic Spectrum Allocation through LTE Virtualization and Uniform Auctioning

 Yasir Zaki , Manzoor Ahmed Khan , Liang Zhao , Carmelita Görg
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.85-97, ⟨10.1007/978-3-642-23041-7_9⟩
Conference papers hal-01587840v1
Image document

Microinteractions to Augment Manual Tasks

 Katrin Wolf
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.414-417, ⟨10.1007/978-3-642-23768-3_46⟩
Conference papers hal-01596952v1
Image document

Formal Verification of Distributed Algorithms

 Philipp Küfner , Uwe Nestmann , Christina Rickmann
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.209-224, ⟨10.1007/978-3-642-33475-7_15⟩
Conference papers hal-01556227v1
Image document

A Local Approach to Fast Failure Recovery of LISP Ingress Tunnel Routers

 Damien Saucez , Juhoon Kim , Luigi Iannone , Olivier Bonaventure , Clarence Filsfils
11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.397-408, ⟨10.1007/978-3-642-30045-5_30⟩
Conference papers hal-01531133v1
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

Established Mass Customization in Highly Customized Cabins of Passenger Transport Systems

 Felix Schulz , Lars Wolter , Turgay Coruh , Haygazun Hayka , Rainer Stark
10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.182-193, ⟨10.1007/978-3-642-41501-2_19⟩
Conference papers hal-01461841v1
Image document

Model Checking Memory-Related Properties of Hardware/Software Co-designs

 Marcel Pockrandt , Paula Herber , Verena Klös , Sabine Glesner
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.92-103, ⟨10.1007/978-3-642-38853-8_9⟩
Conference papers hal-01466696v1

System Modeling and Optimization

 Dietmar Hömberg , Fredi Tröltzsch
Springer, AICT-391, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-36061-9. ⟨10.1007/978-3-642-36062-6⟩
Books hal-01485730v1
Image document

Improving the Usability of Collaboration Methods and Technologies in Engineering

 Lars Wolter , Haygazun Hayka , Rainer Stark
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.73-84, ⟨10.1007/978-3-642-41329-2_9⟩
Conference papers hal-01485842v1
Image document

Transfer Learning for Content-Based Recommender Systems Using Tree Matching

 Naseem Biadsy , Lior Rokach , Armin Shmilovici
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.387-399
Conference papers hal-01506793v1
Image document

Intelligent Information Technologies to Enable Next Generation PLM

 Rainer Stark , Thomas Damerau , Haygazun Hayka , Sebastian Neumeyer , Robert Woll
11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.485-495, ⟨10.1007/978-3-662-45937-9_48⟩
Conference papers hal-01386556v1
Image document

Cloud Standby: Disaster Recovery of Distributed Systems in the Cloud

 Alexander Lenk , Stefan Tai
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.32-46, ⟨10.1007/978-3-662-44879-3_3⟩
Conference papers hal-01318271v1
Image document

Dynamic Causality in Event Structures

 Youssef Arbach , David Karcher , Kirstin Peters , Uwe Nestmann
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.83-97, ⟨10.1007/978-3-319-19195-9_6⟩
Conference papers hal-01767322v1
Image document

Interaction and Humans in Internet of Things

 Markku Turunen , Daniel Sonntag , Klaus-Peter Engelbrecht , Thomas Olsson , Dirk Schnelle-Walka , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.633-636, ⟨10.1007/978-3-319-22723-8_80⟩
Conference papers hal-01610768v1
Image document

Modeling and Control of Low-Frequency Electromagnetic Fields in Multiply Connected Conductors

 Fredi Tröltzsch , Alberto Valli
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.505-516, ⟨10.1007/978-3-319-55795-3_48⟩
Conference papers hal-01626886v1
Image document

Product Development in Collaborative Networks – An Expert View on Current Challenges and Future Trends

 Wei Min Wang , Pascal Lünnemann , Sebastian Neumeyer , Haygazun Hayka , Rainer Stark
17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.302-312, ⟨10.1007/978-3-319-45390-3_26⟩
Conference papers hal-01614619v1
Image document

On the Use of Emojis in Mobile Authentication

 Lydia Kraus , Robert Schmidt , Marcel Walch , Florian Schaub , Sebastian Möller
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.265-280, ⟨10.1007/978-3-319-58469-0_18⟩
Conference papers hal-01649025v1
Image document

PLM Customizing: Results of a Qualitative Study with Industrial Experts

 Ezgi Sucuoglu , Konrad Exner , Rainer Stark
14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.49-58, ⟨10.1007/978-3-319-72905-3_5⟩
Conference papers hal-01764190v1
Image document

formic: Building Collaborative Applications with Operational Transformation

 Tim Jungnickel , Ronny Bräunlich
17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.138-145, ⟨10.1007/978-3-319-59665-5_10⟩
Conference papers hal-01800125v1
Image document

Timed Path Conditions in MATLAB/Simulink

 Marcus Mikulcak , Paula Herber , Thomas Göthel , Sabine Glesner
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.64-76, ⟨10.1007/978-3-319-90023-0_6⟩
Conference papers hal-01854161v1
Image document

Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving

 Lydia Jass , Paula Herber
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.51-63, ⟨10.1007/978-3-319-90023-0_5⟩
Conference papers hal-01854165v1
Page :