Results 41 to 50 of about 122,075 (313)
VMI-based virtual machine remote attestation scheme
The virtual machine attestation scheme proposed by trusted computing group (TCG) can provide attestation service of virtual machine for cloud computing.However,the service using the scheme proposed by the TCG directly would be threatened by the cuckoo ...
Wei WANG +3 more
doaj +3 more sources
Alvis is a formal modelling language. It combines graphical modelling of communication schema and a high level programming language to describe behaviour of individual system entities. An Alvis model can be verified formally by using methods based on a system state space.
openaire +2 more sources
ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
Complex urban scenarios impose high demands on the environmental perception capabilities of unmanned systems, which serve as a prerequisite for executing autonomous missions such as disaster response, infrastructure inspection, and smart city operations.
Yufeng Li +4 more
doaj +1 more source
In order to improve the adaptive management ability of virtual machine placement in cloud computing, an adaptive management and multi-objective optimization method for virtual machine placement in cloud computing is proposed based on particle swarm ...
Shuxiang Li, Xianbing Pan
doaj +1 more source
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
Thermo-Mechanical Modelling of Wire-Arc Additive Manufacturing (WAAM) of Semi-Finished Products
Additive manufacturing processes have been investigated for some years, and are commonly used industrially in the field of plastics for small- and medium-sized series. The use of metallic deposition material has been intensively studied on the laboratory
Marcel Graf +4 more
doaj +1 more source
Objective The objective of this article is to identify perceptions of patients with systemic lupus erythematosus (SLE) regarding artificial intelligence (AI)–based online symptom assessment tools, and the potential of these tools to address diagnostic barriers.
Olivia A. Stein +7 more
wiley +1 more source
Virtual Machines for Aspect-Oriented Systems [PDF]
Aspect Oriented Programming is a programming paradigm that allows separating frequently used functionalities (concerns) from the application logic, de facto enhancing the modularization of the code.
Battilana, Giordano
core
Virtual reality: Theoretical basis, practical applications [PDF]
Virtual reality (VR) is a powerful multimedia visualization technique offering a range of mechanisms by which many new experiences can be made available.
Barker, Philip, Philip Barker
core +1 more source

