Zobrazeno 1 - 10
of 230 424
pro vyhledávání: '"Conformance"'
Autor:
Lee, Hoguk1 (AUTHOR) lhg961005@gmail.com, Shin, Minho1 (AUTHOR)
Publikováno v:
Energies (19961073). Dec2024, Vol. 17 Issue 23, p5833. 15p.
Game-theoretic characterizations of process equivalences traditionally form a central topic in concurrency; for example, most equivalences on the classical linear-time / branching-time spectrum come with such characterizations. Recent work on so-call
Externí odkaz:
http://arxiv.org/abs/2411.03069
Autor:
Tang, Chencheng, Althoff, Matthias
Formal verification of robotic tasks requires a simple yet conformant model of the used robot. We present the first work on generating reachset conformant models for robotic contact tasks considering hybrid (mixed continuous and discrete) dynamics. R
Externí odkaz:
http://arxiv.org/abs/2410.10391
Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. Test cases in a test suite consist of two fundamental parts: (1) input
Externí odkaz:
http://arxiv.org/abs/2411.01789
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently questioned: more and more often events are not traced explicitly, but are
Externí odkaz:
http://arxiv.org/abs/2406.12078
Long traces and large event logs that originate from sensors and prediction models are becoming more common in our data-rich world. In such circumstances, conformance checking, a key task in process mining, can become computationally infeasible due t
Externí odkaz:
http://arxiv.org/abs/2406.05439
Autor:
Liu, Shuang, Tian, Chenglin, Sun, Jun, Wang, Ruifeng, Lu, Wei, Zhao, Yongxin, Xue, Yinxing, Wang, Junjie, Du, Xiaoyong
A Relational Database Management System (RDBMS) is one of the fundamental software that supports a wide range of applications, making it critical to identify bugs within these systems. There has been active research on testing RDBMS, most of which em
Externí odkaz:
http://arxiv.org/abs/2406.09469