Search

This study introduces a novel mobile mixed reality (MR) system to improve communication among stakeholders regarding climate-change-driven flood risk. This MR system enables stakeholders to visualize flood risks on common mobile devices, such as smartphones and tablets, offering perspectives from their respective environments. The system overcomes the computational limitations of previous mobile MR systems by rendering the MR images on a server. Furthermore, distributing users across multiple servers enables many users to simultaneously perform server-enabled MR, facilitating widespread engagement in flood risk communication. The system uses a viewport transformation to accurately display virtual floods and correct for real-time posture changes. A prototype tested in a high-risk flood area achieved real-time MR visualization at more than 16 frames per second, even on multiple devices. Future research will aim to promote stakeholder participation through more accurate visualization of virtual floods and improved interactive information sharing among users. • Mixed reality helps stakeholders intuitively understand disaster risks. • Mobile devices struggle with large data displays owing to limited computing power. • Server computing enables mixed reality with large 3D models on multiple devices. • Reduced display gaps due to network latency achieved a real-time view at 16 fps. • Users can look at virtual floods from their perspectives using a web browser. [ABSTRACT FROM AUTHOR]

This special issue of Software Tools for Technology Transfer presents extended versions of two selected papers from the 23rd edition of TACAS, the International Conference on Tools and Algorithms for the Construction and Analysis of Systems that took place in April 2017 in Uppsala. The papers included in this special issue concern various aspects of automated design and formal verification; they therefore contribute to the development of more reliable computer systems. [ABSTRACT FROM AUTHOR]

This paper presents an adaptive scheduling framework for large-scale computer networks facing significant environmental dynamics such as shifts in job mix and available resources. The presented framework detects changes in the job stream, and other events, and evolves scheduling policies at two distinct levels—operational and tactical—in response to the changes, making adaptations such as reassigning resources and adjusting sequencing heuristics. The paper also presents a simulation of a computer network facing dynamic job arrival rates, which demonstrates that even a simple implementation of the framework can lead to major gains in performance. [Copyright &y& Elsevier]

There has been a lot of interest in the past decade in using timed Petri nets to model computer systems. In this paper we show how such timed Petri nets can be used to great advantage in describing and algebraically specifying communication system performance. We make use of the time parameter of timed Petri nets to model the delay in performing certain operations of a communication protocol. The specification is borrowed from the recently reported AFFIRM language, and the protocol chosen for illustration is the ECMA transfer protocol, proposed for the ISO reference model. However, the methodology can be used with other protocols as well. We also show how liveness properties can be specified easily using timed Petri nets. [ABSTRACT FROM AUTHOR]