標(biāo)題: Titlebook: Journal on Data Semantics II; Stefano Spaccapietra,Elisa Bertino,Leon Strous Book 2005 Springer-Verlag Berlin Heidelberg 2005 DOM.artifici [打印本頁] 作者: MAXIM 時間: 2025-3-21 19:18
書目名稱Journal on Data Semantics II影響因子(影響力)
書目名稱Journal on Data Semantics II影響因子(影響力)學(xué)科排名
書目名稱Journal on Data Semantics II網(wǎng)絡(luò)公開度
書目名稱Journal on Data Semantics II網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Journal on Data Semantics II被引頻次
書目名稱Journal on Data Semantics II被引頻次學(xué)科排名
書目名稱Journal on Data Semantics II年度引用
書目名稱Journal on Data Semantics II年度引用學(xué)科排名
書目名稱Journal on Data Semantics II讀者反饋
書目名稱Journal on Data Semantics II讀者反饋學(xué)科排名
作者: Exclude 時間: 2025-3-21 22:57 作者: 采納 時間: 2025-3-22 00:33 作者: Essential 時間: 2025-3-22 06:14
Minsoo Lee,Stanley Y. W. Su,Herman Laminite state space, even if the state space of the real Erlang system is infinite. In this paper we illustrate this by presenting a case-study based on a piece of software in Ericsson’s AXD 301 switch, which implements a distributed resource locker algorithm. Some of the key properties we proved are 作者: ACME 時間: 2025-3-22 10:09 作者: Consequence 時間: 2025-3-22 16:47 作者: 高談闊論 時間: 2025-3-22 18:04 作者: 文件夾 時間: 2025-3-22 23:34 作者: 占卜者 時間: 2025-3-23 04:07
Dynamic Pattern Mining: An Incremental Data Clustering Approach news events, and news topics) while reducing the amount of computations by maintaining cluster structure incrementally. In addition, to overcome the lack of topical relations in conceptual ontologies, we propose a topic ontology learning framework that utilizes the obtained document hierarchy. Expe作者: 凝乳 時間: 2025-3-23 08:09 作者: 協(xié)議 時間: 2025-3-23 12:16
Enforcing Semantics-Aware Security in Multimedia Surveillanceillance requirements using the synchronized multimedia integration language (SMIL)?[Aya01] with appropriate security enhancements. Our solution consists of imposing a multi-level security model on SMIL documents to specify surveillance requirements. Our access control model ensures that a multimedia作者: 生存環(huán)境 時間: 2025-3-23 16:24
Dejing Dou,Drew McDermott,Peishen Qigni?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized 978-3-540-43928-8978-3-540-45614-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Bricklayer 時間: 2025-3-23 21:32 作者: 散開 時間: 2025-3-23 22:11
Andy Cooke,Alasdair J. G. Gray,Werner Nuttgni?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized 978-3-540-43928-8978-3-540-45614-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 自由職業(yè)者 時間: 2025-3-24 05:17 作者: unstable-angina 時間: 2025-3-24 09:37 作者: Gentry 時間: 2025-3-24 13:25 作者: orthopedist 時間: 2025-3-24 17:37 作者: 凝乳 時間: 2025-3-24 19:19 作者: Detonate 時間: 2025-3-24 23:31
Compound Term Composition Algebra: The Semanticsand invalid compound terms of a subexpression are not invalidated by a larger expression. We show that CTCA cannot be directly represented in Description Logics. However, we show how we could design a metasystem on top of Description Logics in order to implement this algebra.作者: 約會 時間: 2025-3-25 03:45 作者: 廢墟 時間: 2025-3-25 08:26 作者: fructose 時間: 2025-3-25 11:40 作者: 用不完 時間: 2025-3-25 18:16 作者: Intellectual 時間: 2025-3-25 22:39
978-3-540-24208-6Springer-Verlag Berlin Heidelberg 2005作者: 帶來的感覺 時間: 2025-3-26 03:56
Journal on Data Semantics II978-3-540-30567-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Hyperalgesia 時間: 2025-3-26 06:54 作者: Allure 時間: 2025-3-26 09:55
Ontology Translation on the Semantic Webion, agents that use different vocabularies must be able to translate data from one ontological framework to another. Ontology translation is required when translating datasets, generating ontology extensions, and querying through different ontologies. OntoMerge, an online system for ontology mergin作者: 自戀 時間: 2025-3-26 14:41 作者: Audiometry 時間: 2025-3-26 17:44
Dynamic Pattern Mining: An Incremental Data Clustering Approachws services, we focus our attention on news streams mining. News articles are retrieved from Web news services, and processed by data mining tools to produce useful higher-level knowledge, which is stored in a content description database. Instead of interacting with a Web news service directly, by 作者: Bravura 時間: 2025-3-26 21:59
A Knowledge Network Approach for Implementing Active Virtual Marketplaceseed for exchanging and linking knowledge over the Web, especially when several sellers and buyers come together on the Web to form a virtual marketplace. Virtual marketplaces are increasingly being required to become more intelligent and active, thus leading to an active virtual marketplace concept.作者: 芭蕾舞女演員 時間: 2025-3-27 02:54 作者: acclimate 時間: 2025-3-27 08:55 作者: 暴行 時間: 2025-3-27 10:55 作者: BABY 時間: 2025-3-27 13:39
at by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods. It makes a clear separation between modeling of reliable agents and that of intruders. After we have extended this approach to take into account the use of signatures, w作者: 拾落穗 時間: 2025-3-27 21:10
Raphael Volz,Steffen Staab,Boris Motikis combination promises development of a new generation of distributed applications, ranging from mundane office tasks — e.g., planning a meeting by reading the calendars of the participants — to real-time distributed control and coordination of hundreds of machines —e.g., as would be required in a 作者: 愉快么 時間: 2025-3-28 01:58 作者: progestin 時間: 2025-3-28 03:44
Yannis Tzitzikas,Anastasia Analyti,Nicolas Spyratosum was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major c作者: DEVIL 時間: 2025-3-28 06:54
Seokkyung Chung,Dennis McLeodtion of Erlang software we have developed a tool to apply model checking to communicating Erlang processes. We make effective use of Erlang’s design principles for large software systems to obtain relatively small models of specific Erlang programs. By assuming a correct implementation of the softwa作者: Obvious 時間: 2025-3-28 12:38 作者: 改變立場 時間: 2025-3-28 16:36 作者: altruism 時間: 2025-3-28 21:04
Claudio Bettini,X. Sean Wang,Sushil Jajodiaied by the protocol depend often on the relation between these parameters. Automatic synthesis of such relations becomes a difficult problem when the constraints are too complex, e.g., non-linear expressions between integer and/or real parameters. This paper reports about modeling and constraint syn作者: 芭蕾舞女演員 時間: 2025-3-29 02:03
Naren Kodali,Csilla Farkas,Duminda Wijesekerahighest levels of trustworthiness of software formal methods for the development of software are required. The VSE-tool was developed by a consortium of German universities and industry to make a tool available which supports this formal development process..VSE is based on a particular method for p
