Filter your results
- 103
- 20
- 103
- 20
- 123
- 21
- 11
- 6
- 7
- 12
- 12
- 13
- 10
- 17
- 9
- 10
- 9
- 7
- 123
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
‘Acted Reality’ in Electronic Patient Record Research: A Bridge between Laboratory and Ethnographic Studies13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.73-80, ⟨10.1007/978-3-642-23771-3_7⟩
Conference papers
hal-01590851v1
|
||
|
|
A Case Study on Parametric Verification of Failure Detectors41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.138-156, ⟨10.1007/978-3-030-78089-0_8⟩
Conference papers
hal-03740258v1
|
||
|
|
A Concept to Integrate Manufacturing Execution and Product Data Management Systems16th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2019, Moscow, Russia. pp.315-324, ⟨10.1007/978-3-030-42250-9_30⟩
Conference papers
hal-04444763v1
|
||
|
|
A Context-Aware Mashup Integration Guideline for Enterprise 2.0International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.17-30, ⟨10.1007/978-3-642-32498-7_2⟩
Conference papers
hal-01542455v1
|
||
|
|
A Core Ontology of Safety Risk Concepts6th 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
|
||
|
|
A Cost Model for Services13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.548-558, ⟨10.1007/978-3-642-32775-9_55⟩
Conference papers
hal-01520436v1
|
||
|
|
A Distributed Generic Data Structure for Urban Level Building Data Monitoring2nd 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
|
||
|
|
A Flexible Agent-Based Framework for Infectious Disease Modeling2nd 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
|
||
|
|
A Frame of Reference for Research of Integrated Governance, Risk and Compliance (GRC)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
|
||
|
|
A Framework for Defect Prediction in Specific Software Project Contexts3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.261-274, ⟨10.1007/978-3-642-22386-0_20⟩
Conference papers
hal-01572547v1
|
||
|
|
A General Framework for Sequential Grammars with Control Mechanisms21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.1-34, ⟨10.1007/978-3-030-23247-4_1⟩
Conference papers
hal-02387286v1
|
||
|
|
A Practical Tool-Chain for the Development of Coordination Scenarios23th 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
|
||
|
|
A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.230-244, ⟨10.1007/978-3-642-30829-1_16⟩
Conference papers
hal-01529602v1
|
||
|
|
A Taxonomy of Dirty Time-Oriented DataInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.58-72, ⟨10.1007/978-3-642-32498-7_5⟩
Conference papers
hal-01542440v1
|
||
|
|
Agent-Based Methods for Simulation of Epidemics with a Low Number of Infected Persons2nd 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
|
||
|
|
An Agent-Based Framework for Complex Networks15th 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
|
||
|
|
Around-Device Interactions: A Usability Study of Frame Markers in Acquisition Tasks15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.195-202, ⟨10.1007/978-3-319-22668-2_16⟩
Conference papers
hal-01599892v1
|
||
|
|
Automated Analysis of Underground Marketplaces10th 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
|
||
|
|
Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment9th 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
|
||
|
|
Availability, Reliability, and Security in Information SystemsStephanie 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
|
||
|
|
Availability, Reliability, and Security in Information SystemsSpringer 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
|
||
|
|
Blockchain- and IPFS-Based Data Distribution for the Internet of Things8th 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
|
||
|
|
Challenges for Dynamic Analysis of iOS ApplicationsInternational Workshop on Open Problems in Network Security (iNetSec), Jun 2011, Lucerne, Switzerland. pp.65-77, ⟨10.1007/978-3-642-27585-2_6⟩
Conference papers
hal-01481507v1
|
||
|
|
Challenges in Validating FLOSS Conguration13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.101-114, ⟨10.1007/978-3-319-57735-7_11⟩
Conference papers
hal-01658595v1
|
||
|
|
Cloud Resources-Events-Agents Model: Towards TOSCA-Based Applications3rd 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
|
||
|
|
Combined Feedforward/Model Predictive Tracking Control Design for Nonlinear Diffusion-Convection-Reaction-Systems25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.296-305, ⟨10.1007/978-3-642-36062-6_30⟩
Conference papers
hal-01347550v1
|
||
|
|
Complex Contexts and Subtle Actions: Design and Evaluation of a Virtual Coach for Utilitarian Cycling18th 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
|
||
|
|
Component-Based Design of Embedded Systems8th 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
|
||
|
|
Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors19th 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
|
||
|
|
Conquer Catharsis – A VR Environment for Anxiety Treatment of Children and Adolescents19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.151-162, ⟨10.1007/978-3-030-65736-9_14⟩
Conference papers
hal-03686010v1
|