amygdala
发表于 2025-3-23 12:30:34
http://reply.papertrans.cn/83/8265/826461/826461_11.png
Mutter
发表于 2025-3-23 15:13:49
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826461.jpg
Antecedent
发表于 2025-3-23 21:12:07
https://doi.org/10.1007/3-540-48046-3Ada; Ada-Programming; Dependable Computing; Distributed Computing; Embedded Systems; Formal Methods; Java;
Fester
发表于 2025-3-23 23:15:41
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaations. Mobile code is used for application upload, as well as for remote configuration and maintenance of the autonomous station. Applications executing on the station may be charged for their resource consumption. This paper also outlines an initial application of the autonomous station, which has been recently deployed in a pilot project.
buoyant
发表于 2025-3-24 03:02:33
http://reply.papertrans.cn/83/8265/826461/826461_15.png
嘲弄
发表于 2025-3-24 08:13:13
Static Dependency Analysis for Concurrent Ada 95 Programsze dependencies for concurrent Ada 95 programs. Two graphs: concurrent program flow graph and concurrent program dependency graph are developed to represent concurrent Ada programs and analyze dependency relations. The paper also presents a dependency analysis algorithm, which can obtain more precise information than most previous methods we know.
同步信息
发表于 2025-3-24 11:37:53
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Studyper studies several ways of prioritizing test cases in a MUMCUT test set, which guarantees to detect certain types of faults in a Boolean specification written in irredundant disjunctive normal form. Our results suggest a certain ordering that reveals more faults earlier in the testing phases.
sorbitol
发表于 2025-3-24 16:16:11
0302-9743 ystems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.978-3-540-43784-0978-3-540-48046-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
extrovert
发表于 2025-3-24 21:12:03
http://reply.papertrans.cn/83/8265/826461/826461_19.png
疯狂
发表于 2025-3-25 01:48:02
http://reply.papertrans.cn/83/8265/826461/826461_20.png