Results 11 to 20 of about 2,827,837 (350)
Model checking embedded system designs [PDF]
, 2002 We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can ...
Brinksma, Ed, Mader, Angelika
core +8 more sources
Sdn+K8s Routing Optimization Strategy in 5G Cloud Edge Collaboration Scenario
IEEE Access, 2023 The cloud-edge-collaboration framework in the 5G scenario emerged as the times developing. The horizontal and vertical disassembly of computing power is particularly important, relying on the full life cycle resource allocation and flexible configuration
Chungang Yan, Shuo Sheng
doaj +1 more source
Differentiable Architecture Search Algorithm Based on Global Comparison
IEEE Access, 2023 Manually building neural network models is a great test of researchers’ knowledge reserves, so using Neural Architecture Search (NAS) to automatically construct neural networks is becoming increasingly popular.
Xianglun Zeng, Hongxiang Xiao
doaj +1 more source
Interactions around a contextually embedded system [PDF]
, 2010 This paper discusses observations of visitor interactions around a museum installation, focusing on how physical setup and shape of two variants of the installation, a telescope-like viewer and a barrier-free screen, shaped visitor experiences and ...
Hornecker, E.
core +2 more sources
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
IEEE Access, 2018 The correctness verification is very important for workflow systems. It is closely related with both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal model that can reflect some logical structures of workflow systems,
Yaqiong He +5 more
doaj +1 more source
Location Prediction Model Based on the Internet of Vehicles for Assistance to Medical Vehicles
IEEE Access, 2020 Along with the Internet of Vehicles, some intelligent systems can help the medical vehicles transport medical supplies and patients. In terms of emergency issues like catastrophic natural disasters or serious accidents, safe and timely transportation for
Jiujun Cheng +7 more
doaj +1 more source
A software radio platform based on ARM and FPGA
MATEC Web of Conferences, 2016 The rapid rise in computational performance offered by computer systems has greatly increased the number of practical software radio applications. A scheme presented in this paper is a software radio platform based on ARM and FPGA.
Yang Xin., Li Zhengxiang.
doaj +1 more source
A secure and efficient range query method for two‐layer wireless sensor networks
IET Cyber-Physical Systems, 2022 Traditional range query methods of work still have shortcomings in node energy consumption and privacy security, so a two‐layer secure and efficient range query method for wireless sensor networks is proposed.
Yun Deng, Yanping Kang
doaj +1 more source
The Exchange Value Embedded In A Transport System [PDF]
, 2010 This paper shows that a well designed transport system has an embedded exchange value by serving as a market for potential exchange between consumers. Under suitable conditions, one can improve the welfare of consumers in the system simply by allowing ...
Xia, Qinglan, Xu, Shaofeng
core +2 more sources
Mobile Plant Disease Classifier, Trained with a Small Number of Images by the End User
Agronomy, 2022 Mobile applications that can be used for the training and classification of plant diseases are described in this paper. Professional agronomists can select the species and their diseases that are supported by the developed tool and follow an automatic ...
Nikos Petrellis +3 more
doaj +1 more source