Info
ATACCS'2011 : 1st International Conference on Application and Theory of Automation in Command and Control Systems : May 26-27, 2011, Barcelona, Spain
| ATACCS'2011 : 1st International Conference on Application and Theory of Automation in Command and Control Systems : May 26-27, 2011, Barcelona, Spain |
| Autore | Saez Francisco Javier |
| Pubbl/distr/stampa | [Place of publication not identified], : IRIT Press Toulouse, 2011 |
| Descrizione fisica | 1 online resource (164 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
| ISBN | 1-4503-1506-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Application and Theory of Automation in Command and Control Systems'2011
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems ATACCS '11 1st International Conference on Application and Theory of Automation in Command and Control Systems, Barcelona, Spain - May 26 - 27, 2011 |
| Record Nr. | UNINA-9910376143103321 |
Saez Francisco Javier
|
||
| [Place of publication not identified], : IRIT Press Toulouse, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CHI '14 Extended Abstracts on Human Factors in Computing Systems
| CHI '14 Extended Abstracts on Human Factors in Computing Systems |
| Autore | Jones Matt <1968-> |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (2620 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2474-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Computer-Human Interaction '14 Extended Abstracts on Human Factors in Computing Systems
CHI '14 CHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada - April 26 - May 01, 2014 |
| Record Nr. | UNINA-9910376387203321 |
|
Jones Matt <1968->
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Human Computer Interaction and Interactive Systems [[electronic resource] ] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers / / edited by Rémi Bastide, Philippe Palanque, Jörg Roth
| Engineering Human Computer Interaction and Interactive Systems [[electronic resource] ] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers / / edited by Rémi Bastide, Philippe Palanque, Jörg Roth |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 404 p.) |
| Disciplina | 621.398 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
User interfaces (Computer systems)
Software engineering Information storage and retrieval Application software Computers and civilization User Interfaces and Human Computer Interaction Software Engineering Information Storage and Retrieval Information Systems Applications (incl. Internet) Computers and Society |
| Soggetto non controllato | EHCI-DSVIS |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Usability -- Bringing Usability Concerns to the Design of Software Architecture -- Empirical Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific Usability Measures -- Software Architecture Analysis of Usability -- Task Modelling -- Support for Task Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture for Dynamic Model-Based User Interface Development -- Using Task Modelling Concepts for Achieving Adaptive Workflows -- Browsing and Searching -- Mixing Research Methods in HCI: Ethnography Meets Experimentation in Image Browser Design -- ”Tell Me a Story” Issues on the Design of Document Retrieval Systems -- Model-Based Approaches -- CanonSketch: A User-Centered Tool for Canonical Abstract Prototyping -- Finding Iteration Patterns in Dynamic Web Page Authoring -- Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development of User Interfaces -- A Novel Dialog Model for the Design of Multimodal User Interfaces -- Navigation Patterns – Pattern Systems Based on Structural Mappings -- Ubiquitous Computing -- Spatial Control of Interactive Surfaces in an Augmented Environment -- Manipulating Vibro-Tactile Sequences on Mobile PC -- Bridging Viewpoints -- Formalising an Understanding of User-System Misfits -- Supporting a Shared Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A Seamless Development Process of Adaptive User Interfaces Explicitly Based on Usability Properties -- Plastic and Adaptive Interfaces -- More Principled Design of Pervasive Computing Systems -- Towards a New Generation of Widgets for Supporting Software Plasticity: The ”Comet” -- Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand -- Supporting Flexible Development of Multi-device Interfaces -- Groupware -- The Software Design Board: A Tool Supporting Workstyle Transitions in Collaborative Software Design -- Supporting Group Awareness in Distributed Software Development. |
| Record Nr. | UNISA-996465693803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected Papers / / edited by Michael Harrison, Célia Martinie, Nicholas Micallef, Philippe Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana Zaina
| Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected Papers / / edited by Michael Harrison, Célia Martinie, Nicholas Micallef, Philippe Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana Zaina |
| Autore | Harrison Michael |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (233 pages) |
| Disciplina |
005.437
004.019 |
| Altri autori (Persone) |
MartinieCélia
MicallefNicholas PalanquePhilippe SchmidtAlbrecht WincklerMarco YigitbasEnes ZainaLuciana |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction User Interfaces and Human Computer Interaction |
| ISBN | 3-031-59235-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Engineering Interactive Computing Systems for People with Disabilities (DISAB 2023 Workshop). -- A First Literature Study on Predictive Quality in Use Evaluation for Smart Environments. -- A first step towards an ecosystem meta-model for human-centered design in case of disabled users. -- Evaluation of a social robot system for performance-oriented stroke therapy. -- MUMR-MIODMIT: A generic architecture extending standard interactive systems architecture to address engineering issues for rehabilitation. -- Serious game for company governance: supporting in-tegration, prevention of professional disintegration and job retention of people with disabilities. -- Two Concepts of Domain-Specific Languages for Therapists to Control a Humanoid Robot. -- Engineering Interactive Systems Embedding AI Technologies (EIS-embedding-AI Workshop). -- An approach to leverage Artificial Intelligence for car-parking related mobile applications. -- Engineering AI-Similar Designs: Should I Engineer my Interactive System with AI Technologies?. -- Explaining through the Right Reasoning Style: Lessons Learnt. -- Exploring AI-enhanced Shared Control for an Assistive Robotic Arm. -- Hidden Figures: Architectural challenges to expose parameters lost in code. -- Not What I Was Trained For – Out-Of-Distribution-Tests for Interactive Ais. -- Doctoral Consortium EICS 2023. -- End User Development for Extended Reality. -- Exertion Trainer: Smartphone Exergame Design to Support Children’s Kinesthetic Learning through Playful Feedback. -- Explaining temporal logic model checking counterexamples through the use of structured Natural Language. -- Merging Creativity with Computation in Sketch-to-Code Transitions. -- UX Data Visualization: supporting software professionals in exploring users’ interaction data. . |
| Record Nr. | UNINA-9910879582203321 |
|
Harrison Michael
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Interactive Computer Systems. EICS 2024 International Workshops : Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers / / edited by Luciana Zaina, José Creissac Campos, Davide Spano, Kris Luyten, Philippe Palanque, Gerrit van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Memmesheimer
| Engineering Interactive Computer Systems. EICS 2024 International Workshops : Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers / / edited by Luciana Zaina, José Creissac Campos, Davide Spano, Kris Luyten, Philippe Palanque, Gerrit van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Memmesheimer |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XVI, 284 p. 100 illus., 85 illus. in color.) |
| Disciplina |
005.437
004.019 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction User Interfaces and Human Computer Interaction |
| ISBN | 3-031-91760-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering Interactive Systems Embedding AI Technologies (EISEAIT 2024 Workshop) -- Synthesizing 2D vs. 3D Gestures -- Assessing Large Language Models Adoption in Need Finding: an Exploratory Study -- Adding a Non-Dependable AI Component to Increase Dependability of an Interactive Application -- Integrating AIs With Body Tracking Technology for Human Behaviour Analysis: Challenges and Opportunities -- AI-Spectra: A Visual Dashboard for Model Multiplicity to Enhance Informed and Transparent Decision-Making -- Inclusive AI-driven Music Chatbots for Older Adults -- Physician in the Loop Design of Interactive Agents -- NexOz - A Wizard of Oz Approach to Facilitate the Integration of AI in Interactive Systems -- Empowering End-User in Creating eXtended Reality Content with a Conversational Chatbot -- On the Role of Generative AI in Explaining Model Checking Counterexamples -- Challenges in Integrating Conversational AI and GUI based Applications -- Experience 2.0 and Beyond – Engineering Cross Devices and Multiple Realities (EXDMR 2024) -- A Use Case Study on Fear and System Perception in Haptic VR vs. Physical High-Fidelity Medical Prototype Testing -- Towards Realizing Collaborative Systems to Enable Telework in Part Manufacturing -- Rendering Realities with XR Technologies - Opportunities and Challenges to Create Experiences -- Mixed Reality-Based Assistive Technology for Enhanced Hand Function in Age-Related Conditions -- Experience 2.0: Mixed Realities and Beyond -- Examining Semantic Coupling in Augmented Reality -- A Cross-Device Interaction with the Smartphone and HMD for Vocabulary Learning. |
| Record Nr. | UNINA-9911007464303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering Interactive Computer Systems. EICS 2024 International Workshops : Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers / / edited by Luciana Zaina, José Creissac Campos, Davide Spano, Kris Luyten, Philippe Palanque, Gerrit van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Memmesheimer
| Engineering Interactive Computer Systems. EICS 2024 International Workshops : Cagliari, Sardinia, Italy, June 24–28, 2024, Revised Selected Papers / / edited by Luciana Zaina, José Creissac Campos, Davide Spano, Kris Luyten, Philippe Palanque, Gerrit van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Memmesheimer |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XVI, 284 p. 100 illus., 85 illus. in color.) |
| Disciplina |
005.437
004.019 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction User Interfaces and Human Computer Interaction |
| ISBN | 3-031-91760-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Engineering Interactive Systems Embedding AI Technologies (EISEAIT 2024 Workshop) -- Synthesizing 2D vs. 3D Gestures -- Assessing Large Language Models Adoption in Need Finding: an Exploratory Study -- Adding a Non-Dependable AI Component to Increase Dependability of an Interactive Application -- Integrating AIs With Body Tracking Technology for Human Behaviour Analysis: Challenges and Opportunities -- AI-Spectra: A Visual Dashboard for Model Multiplicity to Enhance Informed and Transparent Decision-Making -- Inclusive AI-driven Music Chatbots for Older Adults -- Physician in the Loop Design of Interactive Agents -- NexOz - A Wizard of Oz Approach to Facilitate the Integration of AI in Interactive Systems -- Empowering End-User in Creating eXtended Reality Content with a Conversational Chatbot -- On the Role of Generative AI in Explaining Model Checking Counterexamples -- Challenges in Integrating Conversational AI and GUI based Applications -- Experience 2.0 and Beyond – Engineering Cross Devices and Multiple Realities (EXDMR 2024) -- A Use Case Study on Fear and System Perception in Haptic VR vs. Physical High-Fidelity Medical Prototype Testing -- Towards Realizing Collaborative Systems to Enable Telework in Part Manufacturing -- Rendering Realities with XR Technologies - Opportunities and Challenges to Create Experiences -- Mixed Reality-Based Assistive Technology for Enhanced Hand Function in Age-Related Conditions -- Experience 2.0: Mixed Realities and Beyond -- Examining Semantic Coupling in Augmented Reality -- A Cross-Device Interaction with the Smartphone and HMD for Vocabulary Learning. |
| Record Nr. | UNISA-996660367003316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The handbook of formal methods in human-computer interaction / / edited by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
| The handbook of formal methods in human-computer interaction / / edited by Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 575 p. 205 illus., 133 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Human–Computer Interaction Series |
| Soggetto topico |
User interfaces (Computer systems)
Software engineering Logic, Symbolic and mathematical User Interfaces and Human Computer Interaction Software Engineering Mathematical Logic and Formal Languages |
| ISBN | 3-319-51838-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Part I: Introduction -- State of the Art in Formal Methods in HCI -- Topics of formal methods in HCI -- Trends and Gaps -- Case Studies -- Part II: Modeling, Execution and Simulation -- Visual and Formal Modeling of Modularized and Executable User Interface Models -- Combining Models for Interactive System Modelling -- Activity Modelling for Low-Intention Interaction -- Modelling the User Physigrams – Modeling Physical Device Characteristics Interaction -- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models -- Part II:Analysis, Validation and Verification -- Learning Safe Interactions and Full-Control -- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human -- Behavior in the Verification of Complex Systems -- The Specification and Analysis of Use Properties of a Nuclear -- Control System -- Formal Analysis of Multiple Coordinated HMI Systems -- Part IV: Future Opportunities and Developments -- Domain-Specific Modelling for Human-Computer Interaction -- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment -- A Public Tool Suite for Modelling Interactive Applications -- Formal Modeling of App-Ensembles -- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods. . |
| Record Nr. | UNINA-9910254824803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Human Computer Interaction [[electronic resource] /] / edited by Jean Vanderdonckt, Philippe Palanque, Marco Winckler
| Handbook of Human Computer Interaction [[electronic resource] /] / edited by Jean Vanderdonckt, Philippe Palanque, Marco Winckler |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Disciplina |
005.437
4.019 |
| Soggetto topico |
User interfaces (Computer systems)
Artificial intelligence Software engineering User Interfaces and Human Computer Interaction Artificial Intelligence Software Engineering |
| ISBN | 3-319-27648-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910768460903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human Error, Safety and Systems Development [[electronic resource] ] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / / edited by Philippe Palanque, Jean Vanderdonckt, Marco Winckler
| Human Error, Safety and Systems Development [[electronic resource] ] : 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / / edited by Philippe Palanque, Jean Vanderdonckt, Marco Winckler |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (102 p. 37 illus.) |
| Disciplina |
005.437
4.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Application software Multimedia information systems Aerospace engineering Astronautics Quality control Reliability Industrial safety Computers User Interfaces and Human Computer Interaction Computer Applications Multimedia Information Systems Aerospace Technology and Astronautics Quality Control, Reliability, Safety and Risk Information Systems and Communication Service |
| Soggetto genere / forma |
Brüssel (2009)
Kongress. |
| ISBN |
1-280-38564-2
9786613563569 3-642-11750-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- New Requirements for Modelling How Humans Succeed and Fail in Complex Traffic Scenarios -- Human Factors in Healthcare Systems -- Integrating Collective Work Aspects in the Design Process: An Analysis Case Study of the Robotic Surgery Using Communication as a Sign of Fundamental Change -- Patient Reactions to Staff Apology after Adverse Event and Changes of Their Views in Four Year Interval -- A Cross-National Study on Healthcare Safety Climate and Staff Attitudes to Disclosing Adverse Events between China and Japan -- Pilot’s Behaviour -- Cognitive Modelling of Pilot Errors and Error Recovery in Flight Management Tasks -- The Perseveration Syndrome in the Pilot’s Activity: Guidelines and Cognitive Countermeasures -- Ergonomics and Safety Critical Systems -- First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results -- Contextual Inquiry in Signal Boxes of a Railway Organization -- Reducing Error in Safety Critical Health Care Delivery. |
| Record Nr. | UNISA-996465662103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Human-Centered and Error-Resilient Systems Development [[electronic resource] ] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis
| Human-Centered and Error-Resilient Systems Development [[electronic resource] ] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 383 p. 124 illus.) |
| Disciplina | 004.21 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
User interfaces (Computer systems) Application software Programming languages (Electronic computers) Computers Computer system failures Software Engineering User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Programming Languages, Compilers, Interpreters The Computing Profession System Performance and Evaluation |
| ISBN | 3-319-44902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465666303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
