Search - IFIP Open Digital Library Access content directly

Filter your results

123 results
Structure: Internal structure identifier : 19098
language_s : English
Page :
sorted by
Image document

Empirical and Computational Issues of Microclimate Simulation

 Aida Maleki , Kristina Kiesel , Milena Vuckovic , Ardeshir Mahdavi
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.78-85, ⟨10.1007/978-3-642-55032-4_8⟩
Conference papers hal-01397147v1
Image document

A Practical Tool-Chain for the Development of Coordination Scenarios

 Eva Maria Kuehn
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.239-254, ⟨10.1007/978-3-030-78142-2_15⟩
Conference papers hal-03387844v1
Image document

Contextual Array Grammars with Matrix and Regular Control

 Henning Fernau , Rudolf Freund , Rani Siromoney , K. G. Subramanian
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.98-110, ⟨10.1007/978-3-319-41114-9_8⟩
Conference papers hal-01633942v1
Image document

Agent-Based Methods for Simulation of Epidemics with a Low Number of Infected Persons

 Florian Miksch , Philipp Pichler , Kurt J. Espinosa , Niki Popper
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.21-28, ⟨10.1007/978-3-642-55032-4_2⟩
Conference papers hal-01397140v1
Image document

Automated Analysis of Underground Marketplaces

 Aleksandar Hudic , Katharina Krombholz , Thomas Otterbein , Christian Platzer , Edgar Weippl
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.31-42, ⟨10.1007/978-3-662-44952-3_3⟩
Conference papers hal-01393757v1
Image document

ZENse - Supporting Everyday Emotional Reflection

 Christian Löw , Chalid Gad-El-Hak , Roman Ganhör , Hilda Tellioglu
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.448-455, ⟨10.1007/978-3-319-22723-8_36⟩
Conference papers hal-01610797v1
Image document

UIs Automatically Optimized for Your Smartphone

 Hermann Kaindl
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.712-713, ⟨10.1007/978-3-642-23768-3_128⟩
Conference papers hal-01597002v1
Image document

Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width

 Tomer Kotek , Johann A. Makowsky
1st International Conference on Theoretical Computer Science (TTCS), Aug 2015, Tehran, Iran. pp.135-146, ⟨10.1007/978-3-319-28678-5_10⟩
Conference papers hal-01446257v1
Image document

Cover Complexity of Finite Languages

 Stefan Hetzl , Simon Wolfsteiner
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.139-150, ⟨10.1007/978-3-319-94631-3_12⟩
Conference papers hal-01905625v1
Image document

OntoREA© Accounting and Finance Model: Hedge Portfolio Representation of Derivatives

 Christian Fischer-Pauzenberger , Walter Schwaiger
11th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Oct 2018, Vienna, Austria. pp.372-382, ⟨10.1007/978-3-030-02302-7_24⟩
Conference papers hal-02156458v1
Image document

Tutorial: Parameterized Verification with Byzantine Model Checker

 Igor Konnov , Marijana Lazić , Ilina Stoilkovska , Josef Widder
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.189-207, ⟨10.1007/978-3-030-50086-3_11⟩
Conference papers hal-03283235v1
Image document

KBE-PLM Integration Schema for Engineering Knowledge Re-use and Design Automation

 Jullius Cho , Thomas Vosgien , Thorsten Prante , Detlef Gerhard
13th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2016, Columbia, SC, United States. pp.43-55, ⟨10.1007/978-3-319-54660-5_5⟩
Conference papers hal-01699692v1
Image document

An Agent-Based Framework for Complex Networks

 Alexander Wendt , Maximilian Götzinger , Thilo Sauter
15th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), May 2019, Hersonissos, Greece. pp.559-570, ⟨10.1007/978-3-030-19823-7_47⟩
Conference papers hal-02331297v1
Image document

Cross-Platform File System Activity Monitoring and Forensics – A Semantic Approach

 Kabul Kurniawan , Andreas Ekelhart , Fajar Ekaputra , Elmar Kiesling
35th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2020, Maribor, Slovenia. pp.384-397, ⟨10.1007/978-3-030-58201-2_26⟩
Conference papers hal-03440824v1

Availability, Reliability, and Security in Information Systems

 Stephanie Teufel , Tjoa A Min , Ilsun You , Edgar Weippl
Stephanie Teufel; Tjoa A Min; IlsunYou; EdgarWeippl. Springer, LNCS-8708, 2014, Lecture Notes in Computer Science, 978-3-319-10974-9. ⟨10.1007/978-3-319-10975-6⟩
Books hal-01404011v1
Image document

The Role of ICT to Achieve the UN Sustainable Development Goals (SDG)

 A. Min Tjoa , Simon Tjoa
6th IFIP World Information Technology Forum (WITFOR), Sep 2016, San José, Costa Rica. pp.3-13, ⟨10.1007/978-3-319-44447-5_1⟩
Conference papers hal-01429749v1
Image document

Component-Based Design of Embedded Systems

 Hermann Kopetz
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.1, ⟨10.1007/978-3-642-16256-5_1⟩
Conference papers hal-01061218v1
Image document

Statelets: Coordination of Social Collaboration Processes

 Vitaliy Liptchinsky , Roman Khazankin , Hong-Linh Truong , Schahram Dustdar
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.1-16, ⟨10.1007/978-3-642-30829-1_1⟩
Conference papers hal-01529586v1
Image document

Internet of Things Integration in Supply Chains – An Austrian Business Case of a Collaborative Closed-Loop Implementation

 Andreas Mladenow , Niina Maarit Novak , Christine Strauss
10th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Dec 2016, Vienna, Austria. pp.166-176, ⟨10.1007/978-3-319-49944-4_13⟩
Conference papers hal-01630547v1
Image document

Using the Design of Adversarial Chatbots as a Means to Expose Computer Science Students to the Importance of Ethics and Responsible Design of AI Technologies

 Astrid Weiss , Rafael Vrecar , Joanna Zamiechowska , Peter Purgathofer
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.331-339, ⟨10.1007/978-3-030-85613-7_24⟩
Conference papers hal-04292380v1
Image document

Usability Study of Learning-Based Pose Estimation of Industrial Objects from Synthetic Depth Data

 Stefan Thalhammer , Timothy Patten , Markus Vincze
9th International Precision Assembly Seminar (IPAS), Dec 2020, Held virtually, Unknown Region. pp.285-296, ⟨10.1007/978-3-030-72632-4_21⟩
Conference papers hal-03520414v1
Image document

The Economic Value of an Emergency Call System

 Tomas Lego , Andreas Mladenow , Niina Maarit Novak , Christine Strauss
11th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS), Oct 2017, Shanghai, China. pp.56-66, ⟨10.1007/978-3-319-94845-4_6⟩
Conference papers hal-01888633v1
Image document

Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors

 Rudolf Freund , Vladimir Rogojin , Sergey Verlan
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.140-151, ⟨10.1007/978-3-319-60252-3_11⟩
Conference papers hal-01657015v1
Image document

Combined Feedforward/Model Predictive Tracking Control Design for Nonlinear Diffusion-Convection-Reaction-Systems

 Tilman Utz , Knut Graichen , Andreas Kugi
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.296-305, ⟨10.1007/978-3-642-36062-6_30⟩
Conference papers hal-01347550v1

Machine Learning and Knowledge Extraction

 Andreas Holzinger , Peter Kieseberg , a Min Tjoa , Edgar Weippl
Springer International Publishing, LNCS-11015, 2018, Lecture Notes in Computer Science, 978-3-319-99739-1. ⟨10.1007/978-3-319-99740-7⟩
Books hal-02060052v1

Machine Learning and Knowledge Extraction

 Andreas Holzinger , Peter Kieseberg , a Min Tjoa , Edgar Weippl
Springer International Publishing, LNCS-11713, 2019, Lecture Notes in Computer Science, 978-3-030-29725-1. ⟨10.1007/978-3-030-29726-8⟩
Books hal-02520036v1
Image document

A Frame of Reference for Research of Integrated Governance, Risk and Compliance (GRC)

 Nicolas Racz , Edgar Weippl , Andreas Seufert
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.106-117, ⟨10.1007/978-3-642-13241-4_11⟩
Conference papers hal-01056386v1
Image document

Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment

 Gerhard Reisinger , Philipp Hold , Wilfried Sihn
9th International Precision Assembly Seminar (IPAS), Dec 2020, Held virtually, Unknown Region. pp.235-248, ⟨10.1007/978-3-030-72632-4_17⟩
Conference papers hal-03520391v1

Research and Practical Issues of Enterprise Information Systems

 Petr Doucek , Josef Basl , a Min Tjoa , Mária Raffai , Antonin Pavlicek , et al.
Springer International Publishing, LNBIP-375, 2019, Lecture Notes in Business Information Processing, 978-3-030-37631-4. ⟨10.1007/978-3-030-37632-1⟩
Books hal-03411775v1
Image document

Design Guidelines for Collaborative Industrial Robot User Interfaces

 Helena Anna Frijns , Christina Schmidbauer
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.407-427, ⟨10.1007/978-3-030-85613-7_28⟩
Conference papers hal-04292362v1
Page :