Practice and research indicate that many IT projects encounter problems. It is a complex world where we see (massive) budget overruns, major issues with meeting schedules and deliveries that do not meet the recipients...
详细信息
Passing the intersection is a crucial traffic scenario in urban traffic network. Rapid development of vehicle technologies makes vehicles cross the intersection more efficiently. In this paper, we propose a protocol w...
详细信息
ISBN:
(纸本)9783031664557;9783031664564
Passing the intersection is a crucial traffic scenario in urban traffic network. Rapid development of vehicle technologies makes vehicles cross the intersection more efficiently. In this paper, we propose a protocol where vehicles can pass the intersection safely and efficiently at a 6-lane dual carriageway. To ensure the safety of the protocol, we formally model the protocol and verify some necessary properties using the tool Uppaal. To evaluate the performance of our protocol, we conduct extensive experiments. After analyzing experimental data, the average rate of time reduction in a circle is over 92%. the results demonstrate that our protocol is both efficient and effective.
Cyber attacks are becoming more sophisticated and changing rapidly. Well-trained cyber security professionals are needed to keep track of these attacks, and this begins with a well-educated and well-trained graduate. ...
详细信息
Most artificial intelligence (AI) applications are designed under the model-centric AI (MCAI) approach, where data scientists aim to optimize the machine learning (ML) models starting with fixed, preprocessed data. Ho...
详细信息
this article investigates the recommendations provided by external quality assurance specialists to large governmental-owned projects in Norway. By thoroughly reviewing 19 reports containing quality assurance recommen...
详细信息
Enterprises responded to the COVID-19 outbreak by deploying various digital technology interventions to achieve business resilience. However, little is known about the nature of enterprise digital technology resilienc...
详细信息
Local differential privacy (LDP) has recently emerged as a popular privacy standard. Withthe growing popularity of LDP, recent works have applied LDP to spatial data, and grid-based decompositions have been a common ...
详细信息
this study investigates the changes in COVID-19 risk factors following the widespread distribution of vaccines, focusing on a comparative analysis between counties in states with varying levels of racial diversity. We...
详细信息
this paper introduces the Programmed Visual Content Comparison (PVCC) for collaborative programming learning. the PVCC is based on comparing two displayed visual objects produced by programming. this feature enables c...
详细信息
ISBN:
(纸本)9789819609130;9789819609147
this paper introduces the Programmed Visual Content Comparison (PVCC) for collaborative programming learning. the PVCC is based on comparing two displayed visual objects produced by programming. this feature enables candidates to take the tests in a lighthearted and fun manner because they only judge "which is more difficult." the test based on the PVCC method works well to assess a candidate's programming abilities related to Panoramic Understanding of Programming (PUP). We conducted a collaborative learning experiment with students in a programming class using the PVCC method. this experiment method contains two phases of activity. First, each candidate answers a problem withthe reason for the judge. In the second (collaborative phase), candidates discuss their answers and reasons in a group and then make the group answer with its explanation. the result from the experiment suggests a potential that collaborative learning facilitated by the PVCC method is beneficial for students in programming education by improving understanding and problem-solving skills in programming.
In this paper an initial formalization for a novel communication specification language in multi-agent systems (MASs) based on Pi-calculus and holonic MASs is introduced and analyzed. the novel language called Awkward...
详细信息
ISBN:
(纸本)9783031777301;9783031777318
In this paper an initial formalization for a novel communication specification language in multi-agent systems (MASs) based on Pi-calculus and holonic MASs is introduced and analyzed. the novel language called Awkward Pi-nguin (or APi for short) is aimed towards modeling and execution of complex service oriented architectures, heterogeneous cloud systems, containerized microservice architectures and similar complex systems by specifying the communication flows between processed (agents) and organizing them hierarchically into holons. We provide a literature review and initial motivation for introducing a new language as well as give preliminary results of the language development process.
暂无评论