Filter your results
- 41
- 3
- 41
- 3
- 44
- 2
- 8
- 3
- 5
- 4
- 4
- 4
- 2
- 2
- 5
- 6
- 1
- 44
- 7
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 5
- 4
- 4
- 4
- 3
- 3
- 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
- 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
44 results
|
|
sorted by
|
|
Vibro-Tactile Enrichment Improves Blind User Interaction with Mobile Touchscreens14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.641-648, ⟨10.1007/978-3-642-40483-2_45⟩
Conference papers
hal-01497468v1
|
||
|
A 16-Intersection Matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query LanguagesInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.302-316, ⟨10.1007/978-3-642-32498-7_23⟩
Conference papers
hal-01542449v1
|
||
|
Adapting Desktop Web Pages for Vocal Browsing13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.628-635, ⟨10.1007/978-3-642-23765-2_42⟩
Conference papers
hal-01591799v1
|
||
|
Supporting Transformations across User Interface Descriptions at Various Abstraction Levels13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.608-611, ⟨10.1007/978-3-642-23768-3_94⟩
Conference papers
hal-01597015v1
|
||
|
Web Usability Probe: A Tool for Supporting Remote Usability Evaluation of Web Sites13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.349-357, ⟨10.1007/978-3-642-23768-3_29⟩
Conference papers
hal-01596903v1
|
||
|
Blockchain Based Access Control17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.206-220, ⟨10.1007/978-3-319-59665-5_15⟩
Conference papers
hal-01800124v1
|
||
|
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩
Conference papers
hal-02365502v1
|
||
|
Modelling Social-Aware Forwarding in Opportunistic NetworksPerformance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.141-152, ⟨10.1007/978-3-642-25575-5_12⟩
Conference papers
hal-01586891v1
|
||
|
Stochastic Process Algebra and Stability Analysis of Collective Systems15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.1-15, ⟨10.1007/978-3-642-38493-6_1⟩
Conference papers
hal-01486031v1
|
||
|
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic RedesignThird IFIP WG 13.2 International Conference on Human-Centred Software Engineering (HCSE), Oct 2010, Reykjavik, Iceland. pp.79-94, ⟨10.1007/978-3-642-16488-0_7⟩
Conference papers
hal-01055195v1
|
||
|
Specifying and Verifying Properties of Space8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers
hal-01402045v1
|
||
|
Application-Level Traceroute: Adopting Mimetic Mechanisms to Increase Discovery Capabilities17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_6⟩
Conference papers
hal-02881737v1
|
||
|
Design Criteria for Stimulating Emotions in Web Applications15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.165-182, ⟨10.1007/978-3-319-22701-6_12⟩
Conference papers
hal-01599646v1
|
||
|
Understanding End-User Development of Context-Dependent Applications in Smartphones5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.182-198, ⟨10.1007/978-3-662-44811-3_11⟩
Conference papers
hal-01405076v1
|
||
|
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.177-181, ⟨10.1007/978-3-030-78089-0_10⟩
Conference papers
hal-03740267v1
|
||
|
Fundamentals of Software EngineeringSpringer International Publishing, LNCS-12818, 2021, Lecture Notes in Computer Science, 978-3-030-89246-3. ⟨10.1007/978-3-030-89247-0⟩
Books
hal-04074515v1
|
||
|
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.225-238, ⟨10.1007/978-3-030-78142-2_14⟩
Conference papers
hal-03387846v1
|
||
|
Team Automata@Work: On Safe Communication22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.77-85, ⟨10.1007/978-3-030-50029-0_5⟩
Conference papers
hal-03273992v1
|
||
|
2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY)18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.525-529, ⟨10.1007/978-3-030-85607-6_71⟩
Conference papers
hal-04291212v1
|
||
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-10319, 2017, Lecture Notes in Computer Science, 978-3-319-59745-4. ⟨10.1007/978-3-319-59746-1⟩
Books
hal-01657345v1
|
||
|
Towards a Spatial Model Checker on GPU41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers
hal-03740266v1
|
||
|
Collaborative Task Modelling on the Web6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.317-334, ⟨10.1007/978-3-319-44902-9_20⟩
Conference papers
hal-01647700v1
|
||
|
Artificial Intelligence versus End-User Development: A Panel on What Are the Tradeoffs in Daily Automations?18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.340-343, ⟨10.1007/978-3-030-85607-6_33⟩
Conference papers
hal-04291250v1
|
||
|
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.67-83, ⟨10.1007/978-3-319-39519-7_5⟩
Conference papers
hal-01631720v1
|
||
|
Disaster Reduction Potential of IMPRESS Platform Tools1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.225-239, ⟨10.1007/978-3-319-68486-4_18⟩
Conference papers
hal-03213121v1
|
||
|
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers
hal-01774942v1
|
||
|
Puzzle: A Visual-Based Environment for End User Development in Touch-Based Mobile Phones4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.199-216, ⟨10.1007/978-3-642-34347-6_12⟩
Conference papers
hal-01556833v1
|
||
|
Sign Language GIFs Exchange Communication System: A PECS-Based Computer-Mediated Communication Tool for the Deaf18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.490-494, ⟨10.1007/978-3-030-85607-6_64⟩
Conference papers
hal-04291194v1
|
||
|
Fundamentals of Software EngineeringSpringer International Publishing, LNCS-11761, 2019, Lecture Notes in Computer Science, 978-3-030-31516-0. ⟨10.1007/978-3-030-31517-7⟩
Books
hal-03769131v1
|
||
|
Opportunistic D2D-Aided Uplink Communications in 5G and Beyond Networks17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.141-153, ⟨10.1007/978-3-030-30523-9_12⟩
Conference papers
hal-02881747v1
|
- 1
- 2