Search - IFIP Open Digital Library Access content directly

Filter your results

123 results
Structure: Internal structure identifier : 19098
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

Research and Practical Issues of Enterprise Information Systems

 a Min Tjoa , Li-Rong Zheng , Zhuo Zou , Mária Raffai , Li Da Xu , et al.
Springer International Publishing, LNBIP-310, 2018, Lecture Notes in Business Information Processing, 978-3-319-94844-7. ⟨10.1007/978-3-319-94845-4⟩
Books hal-01888634v1
Image document

Towards Fully Automated Digital Alibis with Social Interaction

 Stefanie Beyer , Martin Mulazzani , Sebastian Schrittwieser , Markus Huber , Edgar Weippl
10th IFIP International Conference on Digital Forensics (DF), Jan 2014, Vienna, Austria. pp.297-307, ⟨10.1007/978-3-662-44952-3_20⟩
Conference papers hal-01393786v1
Image document

A Core Ontology of Safety Risk Concepts

 Hermann Kaindl , Thomas Rathfux , Bernhard Hulin , Roland Beckert , Edin Arnautovic , et al.
6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.165-180, ⟨10.1007/978-3-319-44902-9_11⟩
Conference papers hal-01647717v1
Image document

Decision Tree Rule Induction for Detecting Covert Timing Channels in TCP/IP Traffic

 Félix Iglesias , Valentin Bernhardt , Robert Annessi , Tanja Zseby
1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.105-122, ⟨10.1007/978-3-319-66808-6_8⟩
Conference papers hal-01677146v1

Entertainment Computing - ICEC 2016

 Günter Wallner , Simone Kriglstein , Helmut Hlavacs , Rainer Malaka , Artur Lugmayr , et al.
Springer International Publishing, LNCS-9926, 2016, Lecture Notes in Computer Science, 978-3-319-46099-4. ⟨10.1007/978-3-319-46100-7⟩
Books hal-01640278v1
Image document

The OntoREA© Accounting and Finance Model: Inclusion of Future Uncertainty

 Walter Schwaiger , Aqif Nasufi , Natalia Kryvinska , Christian Fischer-Pauzenberger , Ömer Faruk Dural
12th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2019, Luxembourg, Luxembourg. pp.53-67, ⟨10.1007/978-3-030-35151-9_4⟩
Conference papers hal-03231352v1
Image document

Complex Contexts and Subtle Actions: Design and Evaluation of a Virtual Coach for Utilitarian Cycling

 Matthias Wunsch , Geraldine Fitzpatrick
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.125-146, ⟨10.1007/978-3-030-85607-6_9⟩
Conference papers hal-04291259v1
Image document

Using Critical Incidents in Workshops to Inform eHealth Design

 Christiane Grünloh , Jean D. Hallewell Haslwanter , Bridget Kane , Eunji Lee , Thomas Lind , et al.
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.364-373, ⟨10.1007/978-3-319-67744-6_24⟩
Conference papers hal-01676170v1
Image document

Towards Semantic Mashup Tools for Big Data Analysis

 Azzakiy Hendrik , Amin Anjomshoaa , A. Min Tjoa
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.129-138, ⟨10.1007/978-3-642-55032-4_13⟩
Conference papers hal-01397164v1
Image document

A Distributed Generic Data Structure for Urban Level Building Data Monitoring

 Stefan Glawischnig , Harald Hofstätter , Ardeshir Mahdavi
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.86-95, ⟨10.1007/978-3-642-55032-4_9⟩
Conference papers hal-01397148v1
Image document

A Flexible Agent-Based Framework for Infectious Disease Modeling

 Florian Miksch , Christoph Urach , Patrick Einzinger , Günther Zauner
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.36-45, ⟨10.1007/978-3-642-55032-4_4⟩
Conference papers hal-01397142v1

Availability, Reliability, and Security in Information Systems

 Francesco Buccafurri , Andreas Holzinger , Peter Kieseberg , a Min Tjoa , Edgar Weippl
Springer International Publishing, LNCS-9817, 2016, Lecture Notes in Computer Science, 978-3-319-45506-8. ⟨10.1007/978-3-319-45507-5⟩
Books hal-01635010v1
Image document

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain

 Susanne Kandl , Raimund Kirner
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.131-142, ⟨10.1007/978-3-642-16256-5_14⟩
Conference papers hal-01055391v1
Image document

Blockchain- and IPFS-Based Data Distribution for the Internet of Things

 Simon Krejci , Marten Sigwart , Stefan Schulte
8th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2020, Heraklion, Crete, Greece. pp.177-191, ⟨10.1007/978-3-030-44769-4_14⟩
Conference papers hal-03203293v1
Image document

Touch, Movement and Vibration: User Perception of Vibrotactile Feedback for Touch and Mid-Air Gestures

 Christian Schönauer , Annette Mossel , Ionuț-Alexandru Zaiți , Radu-Daniel Vatavu
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.165-172, ⟨10.1007/978-3-319-22723-8_14⟩
Conference papers hal-01610838v1
Image document

Neural Network Compression Through Shunt Connections and Knowledge Distillation for Semantic Segmentation Problems

 Bernhard Haas , Alexander Wendt , Axel Jantsch , Matthias Wess
17th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2021, Hersonissos, Crete, Greece. pp.349-361, ⟨10.1007/978-3-030-79150-6_28⟩
Conference papers hal-03287657v1
Image document

Navigation in Long Forms on Smartphones: Scrolling Worse than Tabs, Menus, and Collapsible Fieldsets

 Johannes Harms , Martina Kratky , Christoph Wimmer , Karin Kappel , Thomas Grechenig
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.333-340, ⟨10.1007/978-3-319-22698-9_21⟩
Conference papers hal-01609423v1
Image document

Organisational Overview: Institute for Design and Assessment of Technology, Vienna University of Technology (TU Wien)

 Geraldine Fitzpatrick , H. Tellioglu , W. Zagler , M. Pohl , F. Güldenpfennig , et al.
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.624-625, ⟨10.1007/978-3-319-22723-8_76⟩
Conference papers hal-01610789v1
Page :