有发明天才
发表于 2025-3-28 17:23:03
http://reply.papertrans.cn/24/2351/235005/235005_41.png
男生戴手铐
发表于 2025-3-28 18:48:32
http://reply.papertrans.cn/24/2351/235005/235005_42.png
能得到
发表于 2025-3-29 02:50:03
An Empirical Study of Enterprise Conceptual Modelingcal classifications, and discuss their usage. Our survey shows that the “enterprise conceptual modeling” arena presents a variety of descriptive models, each used by a relatively small group of colleagues. Together they form a “long tail” that extends from “drawings” on one end to “standards” on the other.
senile-dementia
发表于 2025-3-29 06:39:55
http://reply.papertrans.cn/24/2351/235005/235005_44.png
Ingratiate
发表于 2025-3-29 09:49:33
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relationsm checking and theorem provers (e.g., Coq). It is based on constructive logic and allows reasoning in different abstraction levels within the logic. Furthermore, it maximizes the expressiveness while preserving decidability of type checking and results in a coherent theory with a powerful sub-typing mechanism.
被告
发表于 2025-3-29 11:54:59
http://reply.papertrans.cn/24/2351/235005/235005_46.png
抛射物
发表于 2025-3-29 16:02:18
http://reply.papertrans.cn/24/2351/235005/235005_47.png
好开玩笑
发表于 2025-3-29 21:48:06
Conceptual Modeling in the Time of the Revolution: Part IIey ideas. We then note some open challenges and report on-going research, covering topics such as the representation of variability in conceptual models, capturing model intentions, and models of laws.. A keynote with a similar title was given 12 years ago at CAiSE’97, hence the ”part II”. The resea
Ischemia
发表于 2025-3-30 01:07:52
http://reply.papertrans.cn/24/2351/235005/235005_49.png
低能儿
发表于 2025-3-30 04:22:33
Schema AND Data: A Holistic Approach to Mapping, Resolution and Fusion in Information Integration making materialization and the tim- ing of transformations an optimization decision that is transparent to applications. In this paper, we define these two important goals, and propose leveraging . to create a framework that supports both data- and schema-level integration tasks.