| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996213650603316 |
|
|
Titolo |
Formal Methods and Software Engineering [[electronic resource] ] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / / edited by Stephan Merz, Jun Pang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 460 p. 125 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 8829 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Programming languages (Electronic computers) |
Algorithms |
Mathematical logic |
Computer communication systems |
Software Engineering |
Programming Techniques |
Programming Languages, Compilers, Interpreters |
Algorithm Analysis and Problem Complexity |
Mathematical Logic and Formal Languages |
Computer Communication Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model for Natural-Language Timed Requirements of Reactive Systems -- A Hybrid Model of Connectors in Cyber-Physical Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic Formalism for Phase-Type Distributions -- CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems -- |
|
|
|
|
|
|
|
|
|
|
|
Modal Characterisations of Probabilistic and Fuzzy Bisimulations -- Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm -- An LTL Model Checking Approach for Biological Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes -- Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior -- Timed Automata Verification via IC3 with Zones -- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems -- A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators -- A Formula-Based Approach for Automatic Fault Localization of Imperative Programs -- A Resource-Based Logic for Termination and Non-termination Proofs -- Practical Analysis Framework for Software-Based Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem Proving -- Formal Modeling and Analysis of Cassandra in Maude -- Bounded Model Checking High Level Petri Nets in PIPE+Verifier -- Fast Translation from LTL to Büchi Automata via Non-transition-Based Automata -- Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor -- Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code -- GPU Accelerated Counterexample Generation in LTL Model Checking -- Formal Throughput and Response Time Analysis of MARTE Models -- Extending MSVL with Function Calls. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910488699503321 |
|
|
Titolo |
Virtual, Augmented and Mixed Reality : 13th International Conference, VAMR 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / / edited by Jessie Y. C. Chen, Gino Fragomeni |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (725 pages) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 12770 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
User interfaces (Computer systems) |
Human-computer interaction |
Computer vision |
Computer networks |
Application software |
Artificial intelligence |
User Interfaces and Human Computer Interaction |
Computer Vision |
Computer Communication Networks |
Computer and Information Systems Applications |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Designing and Evaluating VAMR Environments -- Narrative Cognition in Mixed Reality Systems: Towards an Empirical Framework -- Exploratory Study on the Use of Augmentation for Behavioural Control in Shared Spaces -- Pose Estimation and Video Annotation Approaches for Understanding Individual and Team Interaction during Augmented Reality-Enabled Mission Planning -- GazeXR: A General Eye-tracking System Enabling Invariable Gaze Data in Virtual Environment -- SpatialViewer: A Remote Work Sharing Tool that Considers Intimacy Among Workers -- A Review of Virtual Therapists in Anxiety and |
|
|
|
|
|
|
|
|
|
Phobias Alleviating Applications -- Designing Limitless Path in Virtual Reality Environment -- A Comparative Study of Conversational Proxemics for Virtual Agents -- Real-time Data Analytics of COVID Pandemic using Virtual Reality -- Design Considerations for Interacting and Navigating with 2 Dimensional and 3 Dimensional Medical Images in Virtual, Augmented and Mixed Reality Medical Applications -- Virtual Reality Sickness Evaluation in Exergames for Older Hypertensive Patients: A Comparative Study of Training Methods in a Virtual Environment -- Consistency in Multi-device Service including VR : A Case Study -- Multimodal and Natural Interaction in VAMR -- The Effect of Body-Based Haptic Feedback on Player Experience during VR Gaming -- User Defined Walking-in-place Gestures for Intuitive Locomotion in Virtual Reality -- Exploring Human-to-Human Telepresence and the Use of Vibro-Tactile Commands to Guide Human Streamers -- Pseudo-haptic Perception in Smartphones Graphical Interfaces: a Case Study -- A Research on Sensing Localization & Orientation of Objects in VR with Facial Vibrotactile Display -- HaptMR: Smart Haptic Feedback for Mixed Reality based on Computer Vision Semantic -- Position Estimation of Occluded Fingertip based on Image of Dorsal Hand from RGB Camera -- Head-mounted Displays and VR Glasses -- Usability and User Experience of Interactions on VR-PC, HoloLens 2, VR Cardboard and AR Smartphone in a Biomedical Application -- Simulation of the Field of View in AR and VR Headsets -- Exploring Perspective Switching in Immersive VR for Learning First Aid in Lower Secondary Education -- Beyond Visible Light: User and Societal Impacts of Egocentric Multispectral Vision -- No One is Superman: 3-D Safety Margin Profiles when Using Head-Up display (HUD) for Takeoff in Low Visibility and High Crosswind Conditions -- Robust Camera Motion Estimation for Point-of-View Video Stabilization -- Rendering Tree Roots Outdoors: A Comparison between Optical See Through Glasses and Smartphone Modules for Underground Augmented Reality Visualization -- Using Head-Mounted Displays for Virtual Reality: Investigating Subjective Reactions to Eye-Tracking Scenarios -- Omnidirectional Flick View -- VAMR Applications in Design, the Industry and the Military -- Virtual Fieldwork: Designing Augmented Reality Applications using Virtual Reality Worlds -- Contextually Adaptive Multimodal Mixed Reality Interfaces for Dismounted Operator Teaming with Unmanned System Swarms -- Virtual Solutions for Gathering Consumer Feedback on Food: A Literature Review and Analysis -- Modernizing Aircraft Inspection: Conceptual Design of an Augmented Reality Inspection Support Tool -- The Potential of Augmented Reality for Remote Support -- A Review of Distributed VR Co-Design Systems -- The Mobile Office: A Mobile AR Systems for Productivity Applications in Industrial Environments -- Virtual Reality Compensatory Aid for Improved Weapon Splash-Zone Awareness -- Mixed Reality Visualization of Friendly vs Hostile Decision Dynamics -- Doing versus Observing: Virtual Reality and 360-degree Video for Training Manufacturing Tasks -- VAMR in Learning and Culture -- Design and Research on the Virtual Simulation Teaching Platform of Shanghai Jade Carving Techniques Based on Unity 3d Technology -- IME VR: an MVC Framework for Military Training VR Simulators -- Extended Reality, Pedagogy, and Career Readiness: A Review of Literature -- Development of an AR Training Construction System using Embedded Information in a Real Environment -- LibrARy – Enriching the Cultural Physical Spaces with Collaborative AR Content -- Supporting Embodied and Remote Collaboration in Shared Virtual Environments -- A Survey on Applications of Augmented, Mixed and Virtual Reality for Nature and Environment -- Flexible Low-Cost Digital |
|
|
|
|
|
|
|
|
|
Puppet System -- Mixed Reality Technology Capabilities for Combat-Casualty Handoff Training. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 13th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2021, held virtually as part of the 23rd HCI International Conference, HCII 2021, in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The 47 papers included in this volume were organized in topical sections as follows: designing and evaluating VAMR environments; multimodal and natural interaction in VAMR; head-mounted displays and VR glasses; VAMR applications in design, the industry and the military; and VAMR in learning and culture. |
|
|
|
|
|
|
|
| |