和谐
发表于 2025-3-25 04:48:45
On the Role of Conceptual Schemas in Information Systems Developmente other hand, there is some confusion over the relationships between CSs and similar concepts such as domain model, domain knowledge, functional specifications and ontologies. This paper tries to shed light on these issues. We show that a CS is the knowledge needed by an IS to perform its functions.
抚慰
发表于 2025-3-25 09:04:24
http://reply.papertrans.cn/83/8265/826444/826444_22.png
愤世嫉俗者
发表于 2025-3-25 12:40:58
Extracting Ada 95 Objects from Legacy Ada Programsvert from code designed using structured analysis and design techniques into code designed using the object-oriented analysis and design methodology. This paper describes one method, Parameter-Based Object Identification (PBOI) that uses information about parameters passed between sub-programs to ex
SHRIK
发表于 2025-3-25 16:25:09
On the Tree Width of Ada Programse can be solved efficiently if the underlying graph structure is restricted to one of fixed tree width..In this paper we prove that the tree width of goto-free Ada programs without labeled loops is ≤6. In addition we show that both the use of gotos and the use of labeled loops can result in unbounde
腐败
发表于 2025-3-25 22:01:51
http://reply.papertrans.cn/83/8265/826444/826444_25.png
淘气
发表于 2025-3-26 03:56:13
http://reply.papertrans.cn/83/8265/826444/826444_26.png
母猪
发表于 2025-3-26 06:17:54
http://reply.papertrans.cn/83/8265/826444/826444_27.png
ticlopidine
发表于 2025-3-26 10:27:28
Implementing Execution-Time Clocks for the Ada Ravenscar Profilerespect to worst case execution time estimations. Execution-time clocks and timers have been proposed to be added to the language in order to support this functionality. Since a wide class of systems which may benefit from this mechanism are likely to use the Ada tasking subset known as the Ravensca
emission
发表于 2025-3-26 14:02:05
Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linuxles MaRTE OS to be executed as a regular Linux kernel module; this port enhances the MaRTE OS environment with all the Linux facilities while keeping the real-time performance of the original MaRTE kernel..The other development presented is the Linux user-mode MaRTE OS, which is a port of MaRTE to b
Fantasy
发表于 2025-3-26 20:41:20
Supporting Deadlines and EDF Scheduling in Adaching. In this paper we argue that the language should be extended to support another common paradigm, Earliest Deadline First (EDF). A proposal is described that uses standard priorities and the priority ceiling protocol for protected objects.