Search - IFIP Open Digital Library Access content directly

Filter your results

56 results
Structure: Internal structure identifier : 74348
Page :
sorted by
Image document

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems

 Wolfgang Mueller , Alexander Bol , Alexander Krupp , Ola Lundkvist
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.78-89, ⟨10.1007/978-3-642-15234-4_9⟩
Conference papers hal-01054484v1
Image document

Efficient Mutation-Analysis Coverage for Constrained Random Verification

 Tao Xie , Wolfgang Mueller , Florian Letombe
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.114-124, ⟨10.1007/978-3-642-15234-4_12⟩
Conference papers hal-01054481v1
Image document

An Infrastructure for Flexible Runtime Reconfigurable Multi-Microcontroller Systems

 Claudius Stern , Philipp Adelt , Matthias Schmitz , Lisa Kleinjohann , Bernd Kleinjohann
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.205-216, ⟨10.1007/978-3-642-15234-4_20⟩
Conference papers hal-01054498v1
Image document

Task Migration for Fault-Tolerant FlexRay Networks

 Kay Klobedanz , Gilles B. Defo , Henning Zabel , Wolfgang Mueller , Yuan Zhi
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.55-65, ⟨10.1007/978-3-642-15234-4_7⟩
Conference papers hal-01054486v1
Image document

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services

 Sufyan Samara , Yuhong Zhao , Franz J. Rammig
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15234-4_11⟩
Conference papers hal-01054482v1
Image document

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement

 Markus Becker , Henning Zabel , Wolfgang Mueller
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.145-156, ⟨10.1007/978-3-642-15234-4_15⟩
Conference papers hal-01054479v1
Image document

Getting granular on Twitter: Tweets from a conference and their limited usefulness for non-participants

 Martin Ebner , Herbert Mühlburger , Sandra Schaffert , Mandy Schiefner , Wolfgang Reinhardt , et al.
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15378-5_10⟩
Conference papers hal-01054707v1
Image document

Informatics Systems and Modelling - Case Studies of Expert Interviews

 Leopold Lehner , Johannes Magenheim , Wolfgang Nelles , Thomas Rhode , Niclas Schaper , et al.
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.222-233, ⟨10.1007/978-3-642-15378-5_22⟩
Conference papers hal-01054698v1
Image document

Integration of a Video Annotation Tool into a coactive Learning and Working Environment

 Johannes Magenheim , Wolfgang Reinhardt , Alexander Roth , Matthias Moi , Dieter Engbring
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.257-268, ⟨10.1007/978-3-642-15378-5_25⟩
Conference papers hal-01054695v1
Image document

All I Need to Know about Twitter in Education I Learned in Kindergarten

 Wolfgang Reinhardt , Steve Wheeler , Martin Ebner
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.322-332, ⟨10.1007/978-3-642-15378-5_31⟩
Conference papers hal-01054688v1
Image document

A Top-Down Approach for an Automatic Precedence Graph Construction under the Influence of High Product Variety

 Simon Altemeier , Daniel Brodkorb , Wilhelm Dangelmaier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.73-80, ⟨10.1007/978-3-642-16358-6_10⟩
Conference papers hal-01055865v1
Image document

Database Scheme Configuration for a Product Line of MPC-TOOLS

 Benjamin Klöpper , Tobias Rust , Bernhard Vedder , Wilhelm Dangelmaier
International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.57-64, ⟨10.1007/978-3-642-16358-6_8⟩
Conference papers hal-01055796v1
Image document

Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration

 Gitta Domik , Gerhard Fischer
IFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15378-5_9⟩
Conference papers hal-01058274v1
Image document

Distributed, Parallel and Biologically Inspired Systems : Preface

 Marylyn Wolf , Bernd Kleinjohann , Lisa Kleinjohann
Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf. Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.3
Documents associated with scientific events hal-01062207v1
Image document

Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems

 Enes Yigitbas , Holger Fischer , Thomas Kern , Volker Paelke
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.267-274, ⟨10.1007/978-3-662-44811-3_18⟩
Conference papers hal-01405084v1

Human-Centered Software Engineering

 Stefan Sauer , Cristian Bogdan , Peter Forbrig , Regina Bernhaupt , Marco Winckler
Springer, LNCS-8742, 2014, Lecture Notes in Computer Science, 978-3-662-44810-6. ⟨10.1007/978-3-662-44811-3⟩
Books hal-01405095v1

Building Bridges: HCI, Visualization, and Non-formal Modeling

 Achim Ebert , Gerrit van Der Veer , Gitta Domik , Nahum D. Gershon , Inga Scheler
Springer, LNCS-8345, 2014, Coalgebraic Methods in Computer Science, 978-3-642-54893-2. ⟨10.1007/978-3-642-54894-9⟩
Books hal-01414711v1
Image document

Ontology-Based Finding of Feasible Machine Changes

 Gerald Rehage , Jürgen Gausemeier
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.511-518, ⟨10.1007/978-3-319-22759-7_59⟩
Conference papers hal-01431139v1
Image document

On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem

 Stefan Groesbrink
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.228-237, ⟨10.1007/978-3-642-38853-8_21⟩
Conference papers hal-01466677v1
Image document

Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks

 Kay Klobedanz , Jan Jatzkowski , Achim Rettberg , Wolfgang Mueller
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.238-249, ⟨10.1007/978-3-642-38853-8_22⟩
Conference papers hal-01466679v1
Image document

Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems

 Katharina Gilles , Stefan Groesbrink , Daniel Baldin , Timo Kerstan
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.293-305, ⟨10.1007/978-3-642-38853-8_27⟩
Conference papers hal-01466685v1

Embedded Systems: Design, Analysis and Verification

 Gunar Schirner , Marcelo Götz , Achim Rettberg , Mauro C. Zanella , Franz J. Rammig
Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩
Books hal-01466697v1
Image document

Scientific Automation Rises the Productivity of Production Facilities

 U. Frank , H. Anacker , Dirk Bielawny
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.296-309, ⟨10.1007/978-3-642-41329-2_29⟩
Conference papers hal-01485823v1
Image document

Model-Based Approach for Self-correcting Strategy Design for Manufacturing of Small Metal Parts

 Mikhail Borzykh , U. Damerow , Christian Henke , Ansgar Trächtler , W. Homberg
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.320-329, ⟨10.1007/978-3-642-41329-2_31⟩
Conference papers hal-01485826v1
Image document

A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components

 Marcus Petersen , Jürgen Gausemeier
6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.413-422, ⟨10.1007/978-3-642-41329-2_40⟩
Conference papers hal-01485836v1
Image document

Unlinkable Content Playbacks in a Multiparty DRM System

 Ronald Petrlic , Stephan Sekula
27th Data and Applications Security and Privacy (DBSec), Jul 2013, Newark, NJ, United States. pp.289-296, ⟨10.1007/978-3-642-39256-6_21⟩
Conference papers hal-01490713v1
Image document

Maturity Model for Improving Virtual Engineering in Small and Medium-Sized Enterprises

 Tobias Bensiek , Arno Kuehn
9th International Conference on Product Lifecycle Management (PLM), Jul 2012, Montreal, QC, Canada. pp.635-645, ⟨10.1007/978-3-642-35758-9_57⟩
Conference papers hal-01526132v1
Image document

Real-Time Coordination Patterns for Advanced Mechatronic Systems

 Stefan Dziwok , Christian Heinzemann , Matthias Tichy
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.166-180, ⟨10.1007/978-3-642-30829-1_12⟩
Conference papers hal-01529598v1
Image document

Distributed, Parallel and Biologically Inspired Systems

 Mike Hinchey , Bernd Kleinjohann , Lisa Kleinjohann , Peter Lindsay , Franz J. Rammig , et al.
Springer, AICT-329, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15233-7
Books hal-01556922v1
Image document

Building Bridges – HCI and Visualization

 Achim Ebert , Gitta Domik , Nahum Gershon , Gerrit van Der Veer
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.722-723, ⟨10.1007/978-3-642-23768-3_133⟩
Conference papers hal-01596957v1
Page :