Filter your results
- 533
- 24
- 533
- 532
- 119
- 1
- 37
- 40
- 493
- 533
- 5
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 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
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
|
Fencing Programs with Self-Invalidation and Self-Downgrade36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.19-35, ⟨10.1007/978-3-319-39570-8_2⟩
Conference papers
hal-01432925v1
|
||
|
|
Responsibilities and Challenges of Product Owners at Spotify - An Exploratory Case Study6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.3-16, ⟨10.1007/978-3-319-44902-9_1⟩
Conference papers
hal-01647723v1
|
||
|
|
Efforts at the Boundaries: Social Media Use in Swedish Municipalities8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.123-137, ⟨10.1007/978-3-319-45074-2_10⟩
Conference papers
hal-01637223v1
|
||
|
|
Climate Deterrence: Disasters and Security After COP 211st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.119-138, ⟨10.1007/978-3-319-68486-4_10⟩
Conference papers
hal-03213117v1
|
||
|
|
Using the Scorecard Approach to Measure Seismic Social Resilience in Nablus, Palestine1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.77-92, ⟨10.1007/978-3-319-68486-4_7⟩
Conference papers
hal-03213120v1
|
||
|
|
From Simulation Data to Test Cases for Fully Automated Driving and ADAS28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.191-206, ⟨10.1007/978-3-319-47443-4_12⟩
Conference papers
hal-01643731v1
|
||
|
|
Evaluation and Redesign of a Curriculum Framework for Education About Game Accessibility15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.217-222, ⟨10.1007/978-3-319-46100-7_20⟩
Conference papers
hal-01640292v1
|
||
|
|
The Generation of a Situation Model, in Real-Time, as a Support to Crisis ManagementITDRR 2016 - 1st International Conference on Information Technology in Disaster Risk Reduction, IFIP, Nov 2016, Sofia, Bulgaria. pp.198-213, ⟨10.1007/978-3-319-68486-4_16⟩
Conference papers
hal-03213133v1
|
||
|
|
Compositional Coinduction with Sized Types13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.5-10, ⟨10.1007/978-3-319-40370-0_2⟩
Conference papers
hal-01446030v1
|
||
|
|
A Conceptual UX-Aware Model of Requirements6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.234-245, ⟨10.1007/978-3-319-44902-9_15⟩
Conference papers
hal-01647705v1
|
||
|
|
Private and Secure Secret Shared MapReduce (Extended Abstract)30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.151-160, ⟨10.1007/978-3-319-41483-6_11⟩
Conference papers
hal-01633670v1
|
||
|
|
A Theory for the Composition of Concurrent Processes36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩
Conference papers
hal-01432917v1
|
||
|
|
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Aug 2016, Stockholm, Sweden. pp.56-72, ⟨10.1007/978-3-319-44902-9_5⟩
Conference papers
hal-01647709v1
|
||
|
|
The Concept of Pervasive Virtuality and Its Application in Digital Entertainment Systems15th International Conference on Entertainment Computing (ICEC), Sep 2016, Wien, Austria. pp.187-198, ⟨10.1007/978-3-319-46100-7_16⟩
Conference papers
hal-01640285v1
|
||
|
|
BFT-Bench: Towards a Practical Evaluation of Robustness and Effectiveness of BFT Protocols16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.115-128, ⟨10.1007/978-3-319-39577-7_10⟩
Conference papers
hal-01372682v1
|
||
|
|
Two-dimensional traffic rules and the density classification problem22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zürich, France. pp.135-148, ⟨10.1007/978-3-319-39300-1_11⟩
Conference papers
hal-01290290v1
|
||
|
|
Forecasting Natural Disasters of Tornados Using mHGN1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.155-169, ⟨10.1007/978-3-319-68486-4_13⟩
Conference papers
hal-03213125v1
|
||
|
|
Neural Network Classification of SDR Signal Modulation15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.160-171, ⟨10.1007/978-3-319-45378-1_15⟩
Conference papers
hal-01637483v1
|
||
|
|
Process of Point Clouds Merging for Mapping of a Robot’s Working Environment15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.251-264, ⟨10.1007/978-3-319-45378-1_23⟩
Conference papers
hal-01637492v1
|
||
|
|
The Radio Direction Finding with Advantage of the Software Defined Radio15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.720-728, ⟨10.1007/978-3-319-45378-1_62⟩
Conference papers
hal-01637506v1
|
||
|
|
A Calculus of Virtually Timed Ambients23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.88-103, ⟨10.1007/978-3-319-72044-9_7⟩
Conference papers
hal-01767462v1
|
||
|
|
The Fréchet/Manhattan Distance and the Trajectory Anonymisation Problem30th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2016, Trento, Italy. pp.19-34, ⟨10.1007/978-3-319-41483-6_2⟩
Conference papers
hal-01633679v1
|
||
|
|
Application-Based Coarse-Grained Incremental Checkpointing Based on Non-volatile Memory13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.45-57, ⟨10.1007/978-3-319-47099-3_4⟩
Conference papers
hal-01648000v1
|
||
|
|
DSS: A Scalable and Efficient Stratified Sampling Algorithm for Large-Scale Datasets13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.133-146, ⟨10.1007/978-3-319-47099-3_11⟩
Conference papers
hal-01648006v1
|
||
|
|
Development of an Integrated Connectedness Model to Evaluate the Effectiveness of Teaching and Learning15th Conference on e-Business, e-Services and e-Society (I3E), Sep 2016, Swansea, United Kingdom. pp.707-716, ⟨10.1007/978-3-319-45234-0_64⟩
Conference papers
hal-01702200v1
|
||
|
|
Optimal Ellipse Based Algorithm as an Approximate and Robust Solution of Minimum Volume Covering Ellipse Problem15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.240-250, ⟨10.1007/978-3-319-45378-1_22⟩
Conference papers
hal-01637514v1
|
||
|
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
|
Economic Aspects of Service Composition: Price Negotiations and Quality Investments5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.201-215, ⟨10.1007/978-3-319-44482-6_13⟩
Conference papers
hal-01638597v1
|
||
|
|
Optimization of Chosen Transport Task by Using Generic Algorithms15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.197-205, ⟨10.1007/978-3-319-45378-1_18⟩
Conference papers
hal-01637504v1
|
||
|
|
Simulations for Tuning a Laser Power Control System of the Cladding Process15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.218-229, ⟨10.1007/978-3-319-45378-1_20⟩
Conference papers
hal-01637520v1
|