DSpace community: 商學院
https://nccur.lib.nccu.edu.tw/handle/140.119/23
商學院The community's search engineSearch the Channels
https://nccur.lib.nccu.edu.tw//simple-search
Regular Abstractions for Array Systems
https://nccur.lib.nccu.edu.tw/handle/140.119/150604
title: Regular Abstractions for Array Systems abstract: Verifying safety and liveness over array systems is a highly challenging problem. Array systems naturally capture parameterized systems such as distributed protocols with an unbounded number of processes. Such distributed protocols often exploit process IDs during their computation, resulting in array systems whose element values range over an infinite domain. In this paper, we develop a new method for proving safety and liveness over array systems. The crux of the technique is to overapproximate an array system as a string rewriting system (i.e. over a finite alphabet) by means of a new predicate abstraction that exploits the so-called indexed predicates. This allows us to tap into powerful verification methods for string rewriting systems that have been heavily developed in the last few decades (e.g. regular model checking). We demonstrate how our method yields simple, automatically verifiable proofs of safety and liveness for challenging examples, including Dijkstra’s self-stabilizing protocol and the Chang-Roberts leader election.
<br>法官採納創新系統之詮釋研究—以量刑系統之採納為例
https://nccur.lib.nccu.edu.tw/handle/140.119/150599
title: 法官採納創新系統之詮釋研究—以量刑系統之採納為例Humanizing AI in Judicial Proceedings: Perspectives and Considerations of Judges
https://nccur.lib.nccu.edu.tw/handle/140.119/150598
title: Humanizing AI in Judicial Proceedings: Perspectives and Considerations of JudgesVirtual Influencers: Does Self-Image Congruence with Consumers Matter?
https://nccur.lib.nccu.edu.tw/handle/140.119/150597
title: Virtual Influencers: Does Self-Image Congruence with Consumers Matter?