Filter your results
- 30
- 6
- 27
- 8
- 1
- 36
- 2
- 4
- 6
- 3
- 5
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 36
- 28
- 12
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
36 results
|
|
sorted by
|
|
Active Objects for Coordinating BSP Computations (Short Paper)20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩
Conference papers
hal-01821487v1
|
||
|
Human-Computer Interaction – INTERACT 2019Springer International Publishing, LNCS-11746, 2019, Lecture Notes in Computer Science, 978-3-030-29380-2. ⟨10.1007/978-3-030-29381-9⟩
Books
hal-02544551v1
|
||
|
Human-Computer Interaction – INTERACT 2017Springer International Publishing, LNCS-10516, 2017, Lecture Notes in Computer Science, 978-3-319-68058-3. ⟨10.1007/978-3-319-68059-0⟩
Books
hal-01679769v1
|
||
|
Dealing with Conflicting User Interface Properties in User-Centered Development Processes16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Conference papers
hal-01680275v1
|
||
|
Beyond InteractionsSpringer, 11930, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-46540-7⟩
Books
hal-03138795v1
|
||
|
Application Composition Driven by UI CompositionThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.198-205, ⟨10.1007/978-3-642-16488-0_17⟩
Conference papers
hal-01302948v1
|
||
|
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
|
||
|
Minimization of Network Power Consumption with Redundancy Elimination11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.247-258, ⟨10.1007/978-3-642-30045-5_19⟩
Conference papers
hal-00721855v1
|
||
|
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.97-112, ⟨10.1007/978-3-662-44857-1_7⟩
Conference papers
hal-01069101v1
|
||
|
Visualizing Sensor Data: Towards an Experiment and Validation Platform4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.352-359, ⟨10.1007/978-3-642-34347-6_27⟩
Conference papers
hal-01556831v1
|
||
|
Explainable Artificial Intelligence: Concepts, Applications, Research Challenges and Visions4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.1-16, ⟨10.1007/978-3-030-57321-8_1⟩
Conference papers
hal-03414756v1
|
||
|
Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.644-665, ⟨10.1007/978-3-030-29381-9_39⟩
Conference papers
hal-02544532v1
|
||
|
Human-Centered Software EngineeringSpringer International Publishing, LNCS-11262, 2019, Lecture Notes in Computer Science, 978-3-030-05908-8. ⟨10.1007/978-3-030-05909-5⟩
Books
hal-02270716v1
|
||
|
Estimating File-Spread in Delay Tolerant Networks under Two-Hop Routing11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.277-290, ⟨10.1007/978-3-642-30054-7_22⟩
Conference papers
hal-00726802v1
|
||
|
Experiments in Model Driven Composition of User Interfaces10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.98-111, ⟨10.1007/978-3-642-13645-0_8⟩
Conference papers
hal-01307121v1
|
||
|
On the Periods of Spatially Periodic Preimages in Linear Bipermutive Cellular Automata21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.181-195, ⟨10.1007/978-3-662-47221-7_14⟩
Conference papers
hal-01313895v1
|
||
|
Human-Computer Interaction – INTERACT 2019Springer International Publishing, LNCS-11747, 2019, Lecture Notes in Computer Science, 978-3-030-29383-3. ⟨10.1007/978-3-030-29384-0⟩
Books
hal-02544612v1
|
||
|
A Decidable Subtyping Logic for Intersection and Union TypesTTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Conference papers
hal-01760641v1
|
||
|
Cellular Automata and Discrete Complex SystemsSpringer International Publishing, LNCS-10248, 2017, Lecture Notes in Computer Science, 978-3-319-58630-4. ⟨10.1007/978-3-319-58631-1⟩
Books
hal-01656363v1
|
||
|
Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.14-28, ⟨10.1007/978-3-030-61588-8_2⟩
Conference papers
hal-03659470v1
|
||
|
OntoCompo: A Tool to Enhance Application Composition13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbone, Portugal. pp.588-591, ⟨10.1007/978-3-642-23768-3_89⟩
Conference papers
hal-01302169v1
|
||
|
Explainable AI: the new 42?2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers
hal-01934928v1
|
||
|
From Modelling to Systematic Deployment of Distributed Active Objects18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩
Conference papers
hal-01305474v1
|
||
|
Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.151-164, ⟨10.1007/978-3-319-58631-1_12⟩
Conference papers
hal-01656352v1
|
||
|
A Longitudinal Study of BGP MOAS Prefixes6th International Workshop on Traffic Monitoring and Analysis (TMA), Apr 2014, London, United Kingdom. pp.127-138, ⟨10.1007/978-3-642-54999-1_11⟩
Conference papers
hal-01396480v1
|
||
|
Global Thoughts, Local DesignsSpringer International Publishing, LNCS-10774, 2018, Lecture Notes in Computer Science, 978-3-319-92080-1. ⟨10.1007/978-3-319-92081-8⟩
Books
hal-01821408v1
|
||
|
Human-Computer Interaction –INTERACT 2013 Proceedings, Part IVLecture Notes in Computer Science, LNCS-8120 (Part IV), Springer, 2013, Human-Computer Interaction – INTERACT 2013
Proceedings
hal-04149510v1
|
||
|
Searching Critical Values for Floating-Point Programs28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.209-217, ⟨10.1007/978-3-319-47443-4_13⟩
Conference papers
hal-01643710v1
|
||
|
Towards Conflict Management in User Interface Composition Driven by Business Needs4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.233-250, ⟨10.1007/978-3-642-34347-6_14⟩
Conference papers
hal-01342108v1
|
||
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers
hal-02143782v1
|
- 1
- 2