Search - IFIP Open Digital Library Access content directly

Filter your results

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

An Analysis of Problematic Media Use and Technology Use Addiction Scales – What Are They Actually Assessing?

 Adrian Abendroth , Douglas A. Parry , Daniel Roux , Jana Gundlach
19th Conference on e-Business, e-Services and e-Society (I3E), Apr 2020, Skukuza, South Africa. pp.211-222, ⟨10.1007/978-3-030-45002-1_18⟩
Conference papers hal-03774205v1
Image document

Session Types for Link Failures

 Manuel Adameit , Kirstin Peters , Uwe Nestmann
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.1-16, ⟨10.1007/978-3-319-60225-7_1⟩
Conference papers hal-01658430v1
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

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

An Efficient Lightweight Framework for Porting Vision Algorithms on Embedded SoCs

 Apurv Ashish , Sohan Lal , Ben Juurlink
6th International Embedded Systems Symposium (IESS), Sep 2019, Friedrichshafen, Germany. pp.130-141, ⟨10.1007/978-3-031-26500-6_11⟩
Conference papers hal-04489015v1
Image document

Management of Reconfigurable Production Networks in Order-Based Production

 Johannes Be Isa , Helge Epha , Stefan Braunreuther , Gunther Reinhart
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2018, Seoul, South Korea. pp.490-497, ⟨10.1007/978-3-319-99707-0_61⟩
Conference papers hal-02177857v1
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

Assembly Issue Resolution System Using Machine Learning in Aero Engine Manufacturing

 Jörg Brünnhäusser , Sonika Gogineni , Jonas Nickel , Heiko Witte , Rainer Stark
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.149-157, ⟨10.1007/978-3-030-57993-7_18⟩
Conference papers hal-03630891v1
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

Active Learning for Auditory Hierarchy

 William Coleman , Charlie Cullen , Ming Yan , Sarah Jane Delany
4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.365-384, ⟨10.1007/978-3-030-57321-8_20⟩
Conference papers hal-03414715v1
Image document

Applying Contextualization for Data-Driven Transformation in Manufacturing

 Sonika Gogineni , Kai Lindow , Jonas Nickel , Rainer Stark
IFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.154-161, ⟨10.1007/978-3-030-57997-5_19⟩
Conference papers hal-03635682v1

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

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
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

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

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

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

Ronda: Real-Time Data Provision, Processing and Publication for Open Data

 Fabian Kirstein , Dario Bacher , Vincent Bohlen , Sonja Schimmler
20th International Conference on Electronic Government (EGOV), Sep 2021, Granada, Spain. pp.165-177, ⟨10.1007/978-3-030-84789-0_12⟩
Conference papers hal-04175103v1
Image document

Linked Data in the European Data Portal: A Comprehensive Platform for Applying DCAT-AP

 Fabian Kirstein , Benjamin Dittwald , Simon Dutkowski , Yury Glikman , Sonja Schimmler , et al.
18th International Conference on Electronic Government (EGOV), Sep 2019, San Benedetto del Tronto, Italy. pp.192-204, ⟨10.1007/978-3-030-27325-5_15⟩
Conference papers hal-02445810v1
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
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

Unexpected Inferences from Sensor Data: A Hidden Privacy Threat in the Internet of Things

 Jacob Kröger
1st IFIP International Internet of Things Conference (IFIPIoT), Sep 2018, Poznan, Poland. pp.147-159, ⟨10.1007/978-3-030-15651-0_13⟩
Conference papers hal-03217368v1
Image document

Is My Phone Listening in? On the Feasibility and Detectability of Mobile Eavesdropping

 Jacob Leon Kröger , Philip Raschke
33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2019, Charleston, SC, United States. pp.102-120, ⟨10.1007/978-3-030-22479-0_6⟩
Conference papers hal-02384582v1
Image document

Privacy Implications of Voice and Speech Analysis – Information Disclosure by Inference

 Jacob Leon Kröger , Otto Hans-Martin Lutz , Philip Raschke
14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.242-258, ⟨10.1007/978-3-030-42504-3_16⟩
Conference papers hal-03378930v1
Image document

What Does Your Gaze Reveal About You? On the Privacy Implications of Eye Tracking

 Jacob Leon Kröger , Otto Hans-Martin Lutz , Florian Müller
14th IFIP International Summer School on Privacy and Identity Management (Privacy and Identity), Aug 2019, Windisch, Switzerland. pp.226-241, ⟨10.1007/978-3-030-42504-3_15⟩
Conference papers hal-03378980v1
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

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

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

Multi-source Distributed System Data for AI-Powered Analytics

 Sasho Nedelkoski , Jasmin Bogatinovski , Ajay Kumar Mandapati , Soeren Becker , Jorge Cardoso , et al.
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.161-176, ⟨10.1007/978-3-030-44769-4_13⟩
Conference papers hal-03203288v1
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
Page :