Results 61 to 70 of about 34,397 (199)
vTRUST: A formal modeling and verification framework for virtualization systems [PDF]
Virtualization is widely used for critical services like Cloud computing. It is desirable to formally verify virtualization systems. However, the complexity of the virtualization system makes the formal analysis a difficult task, e.g., sophisticated ...
Jianan Hao +14 more
core +1 more source
Key technology and application scenarios of NFV
Network virtualization aims to realize the decoupling of hardware and software by virtualization,and share the resource according to service size by cloudification,thus supporting the telecom business with features of high flexibility,maintainability ...
Yafei TANG, Sufen LI
doaj +2 more sources
New AI‐Assisted Approach for Expanding the Solution Space: Application to Lattice Structure Design
This work introduces an innovative framework for designing structured materials by ex panding the design space through reparameterization of qualitative variables into continuous structural descriptors. Combined with machine‐learning‐based prediction and multi‐objective optimization, the approach enables the discovery of novel lattice architectures ...
G. H. Gahimbare +5 more
wiley +1 more source
Server virtualization is the partitioning of a physical server into smaller virtual servers to maximize your server resources. In server virtualization, the resources of the server itself are hidden, or masked from users and the software is used to ...
Gurgez, Pinar
core
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
Network function virtualization has become an important trend in the global development of telecommunications industry,with the rapid development of network function virtualization and rapid growth of the telecommunications business,analysis and ...
Zhiming WANG, Bing CHEN
doaj +2 more sources
Supporting AI Readiness Through Digital Workflows in Materials Science
Digitalization drives innovation in materials science by connecting data silos and turning heterogeneous processes into reusable research pipelines. Across 13 MaterialDigital projects, digital workflows reveal complementary pathways toward AI‐ready materials research, founded on structured data, persistent artifacts, executable orchestration, and ...
Marian Bruns +67 more
wiley +1 more source
System Virtualization for Proactive Fault-Tolerant Computing
Large-scale parallel computing is relying increasingly on clusters with thousands of processors. At such large counts of compute nodes, faults are becoming common place.
Nagarajan, Arun Babu
core
Mitigating security threats to large-scale cross border virtualization infrastructures
Cloud Computing is being a computation resources platform where it is possible to make up an environment flexible and scalable able to host any kind of services.
Naqvi, S. +4 more
core +1 more source

