Search - IFIP Open Digital Library Access content directly

Filter your results

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

Time-Predictable Computing

 Raimund Kirner , Peter Puschner
8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.23-34, ⟨10.1007/978-3-642-16256-5_5⟩
Conference papers hal-01055379v1
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

Tor HTTP Usage and Information Leakage

 Markus Huber , Martin Mulazzani , Edgar Weippl
11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security (CMS), May 2010, Linz, Austria. pp.245-255, ⟨10.1007/978-3-642-13241-4_22⟩
Conference papers hal-01056375v1
Image document

Knowledge-Based Geo-Risk Assessment for an Intelligent Measurement System

 T. Vicovac , A. Reiterer , U. Egly , T. Eiter , D. Rieke-Zapp
Third IFIP TC12 International Conference on Artificial Intelligence (AI) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.215-224, ⟨10.1007/978-3-642-15286-3_21⟩
Conference papers hal-01058358v1
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

Coordination Models and Languages

 Eva Kühn , Rosario Pugliese
Springer, LNCS-8459, 2014, Lecture Notes in Computer Science, 978-3-662-43375-1. ⟨10.1007/978-3-662-43376-8⟩
Books hal-01290085v1
Image document

QUELLE – A Framework for Accelerating the Development of Elastic Systems

 Daniel Moldovan , Georgiana Copil , Hong-Linh Truong , Schahram Dustdar
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.93-107, ⟨10.1007/978-3-662-44879-3_7⟩
Conference papers hal-01318277v1
Image document

Cloud Resources-Events-Agents Model: Towards TOSCA-Based Applications

 Soheil Qanbari , Vahid Sebto , Schahram Dustdar
3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.160-170, ⟨10.1007/978-3-662-44879-3_12⟩
Conference papers hal-01318290v1
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
Image document

How to Assess Confidentiality Requirements of Corporate Assets?

 Gabriela Varona Cervantes , Stefan Fenz
29th IFIP International Information Security Conference (SEC), Jun 2014, Marrakech, Morocco. pp.234-241, ⟨10.1007/978-3-642-55415-5_19⟩
Conference papers hal-01370369v1
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

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

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

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

Toward a Data-Driven Performance-Guided Urban Decision-Support Environment

 Neda Ghiassi , Stefan Glawischnig , Ulrich Pont , Ardeshir Mahdavi
2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.96-107, ⟨10.1007/978-3-642-55032-4_10⟩
Conference papers hal-01397149v1
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

Information and Communication Technology

 . Linawati , Made Sudiana Mahendra , Erich J. Neuhold , A Min Tjoa , Ilsun You
Springer, LNCS-8407, 2014, Information and Communication Technology, 978-3-642-55031-7. ⟨10.1007/978-3-642-55032-4⟩
Books hal-01397345v1
Image document

Semantic-Aware Mashups for Personal Resources in SemanticLIFE and SocialLIFE

 Sao-Khue Vo , Amin Anjomshoaa , A. Min Tjoa
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.138-154, ⟨10.1007/978-3-319-10975-6_10⟩
Conference papers hal-01403991v1

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

Workflow Patterns as a Means to Model Task Succession in Games: A Preliminary Case Study

 Simone Kriglstein , Ross Brown , Günter Wallner
13th International Conference Entertainment Computing (ICEC), Oct 2014, Sydney, Australia. pp.36-41, ⟨10.1007/978-3-662-45212-7_5⟩
Conference papers hal-01408502v1
Image document

How to Investigate Interaction with Information Visualisation: An Overview of Methodologies

 Margit Pohl , Florian Scholz
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.17-29, ⟨10.1007/978-3-642-54894-9_3⟩
Conference papers hal-01414649v1
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

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study

 Michael Rathmair , Ralph Hoch , Hermann Kaindl , Roman Popp
8th Practice of Enterprise Modelling (P0EM), Nov 2015, Valencia, Spain. pp.126-140, ⟨10.1007/978-3-319-25897-3_9⟩
Conference papers hal-01442302v1
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

Quantifying Windows File Slack Size and Stability

 Martin Mulazzani , Sebastian Neuner , Peter Kieseberg , Markus Huber , Sebastian Schrittwieser , et al.
9th International Conference on Digital Forensics (DF), Jan 2013, Orlando, FL, United States. pp.183-193, ⟨10.1007/978-3-642-41148-9_13⟩
Conference papers hal-01460605v1
Image document

Towards Security-Enhanced and Privacy-Preserving Mashup Compositions

 Heidelinde Hobel , Johannes Heurix , Amin Anjomshoaa , Edgar Weippl
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.286-299, ⟨10.1007/978-3-642-39218-4_22⟩
Conference papers hal-01463833v1
Image document

Extraction of ABNF Rules from RFCs to Enable Automated Test Data Generation

 Markus Gruber , Phillip Wieser , Stefan Nachtnebel , Christian Schanes , Thomas Grechenig
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.111-124, ⟨10.1007/978-3-642-39218-4_9⟩
Conference papers hal-01463849v1
Page :