標(biāo)題: Titlebook: Rewriting Logic and Its Applications; 10th International W Santiago Escobar Conference proceedings 2014 Springer International Publishing S [打印本頁] 作者: 雜技演員 時間: 2025-3-21 17:11
書目名稱Rewriting Logic and Its Applications影響因子(影響力)
書目名稱Rewriting Logic and Its Applications影響因子(影響力)學(xué)科排名
書目名稱Rewriting Logic and Its Applications網(wǎng)絡(luò)公開度
書目名稱Rewriting Logic and Its Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Rewriting Logic and Its Applications被引頻次
書目名稱Rewriting Logic and Its Applications被引頻次學(xué)科排名
書目名稱Rewriting Logic and Its Applications年度引用
書目名稱Rewriting Logic and Its Applications年度引用學(xué)科排名
書目名稱Rewriting Logic and Its Applications讀者反饋
書目名稱Rewriting Logic and Its Applications讀者反饋學(xué)科排名
作者: Chronological 時間: 2025-3-21 21:05 作者: 拒絕 時間: 2025-3-22 01:48 作者: constitute 時間: 2025-3-22 07:59 作者: ASSAY 時間: 2025-3-22 11:01 作者: Infirm 時間: 2025-3-22 13:40 作者: seroma 時間: 2025-3-22 18:37
Infinite-State Model Checking of LTLR Formulas Using Narrowing,the concrete state space and the symbolic state space. A related theme is the use of additional state space reduction methods, such as folding and equational abstractions, that can in some cases yield a finite symbolic state space.作者: Cantankerous 時間: 2025-3-23 01:01
Towards Static Analysis of Functional Programs Using Tree Automata Completion,letion algorithm to always terminate. In the particular setting of functional programs, this condition can be relaxed into a condition on . and . (terms built on the set of constructors) that is closer to what is done in the field of static analysis, where abstractions are performed on data.作者: 愛管閑事 時間: 2025-3-23 03:51 作者: 使入迷 時間: 2025-3-23 07:48
An Integration of CafeOBJ into Full Maude,xtension; and we provide an alternative implementation for CafeOBJ that can be easily modified and extended. We present here the ideas for parsing and translating CafeOBJ specifications, and illustrate with examples the features listed above.作者: FLEET 時間: 2025-3-23 13:13 作者: obtuse 時間: 2025-3-23 15:55
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?,le. We discuss how to adopt some of those techniques in a Maude-based approach to language prototyping, and suggest the use of other techniques that have been shown successful for similar verification purposes.作者: enumaerate 時間: 2025-3-23 20:29
2D Dependency Pairs for Proving Operational Termination of CTRSs,re of conditional rewriting (rewriting steps + satisfaction of the conditions as reachability problems) to obtain a powerful and more expressive framework for proving operational termination of CTRSs.作者: BET 時間: 2025-3-24 00:34 作者: 紅腫 時間: 2025-3-24 03:37 作者: 的是兄弟 時間: 2025-3-24 08:39
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation, an amalgamation construction. Results on the protection of the behavior along the induced morphisms allow us to safely combine definitions of DSLs to build more complex ones. We illustrate our proposal on our e-Motions definition of the Palladio DSL. The resulting DSL allows us to carry on performa作者: 改正 時間: 2025-3-24 14:38
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?,amming languages. Using such abstractions for verification purposes is challenging in part due to their inherent non-determinism which contributes to the state space explosion. Several techniques have been proposed to mitigate those problems so to make verification under relaxed memory models feasib作者: 返老還童 時間: 2025-3-24 15:40
Real-Time Maude and Its Applications,Maude is characterized by its general and expressive, yet intuitive, specification formalism, and offers a spectrum of formal analysis methods, including: rewriting for simulation purposes, search for reachability analysis, and both untimed and metric temporal logic model checking. Real-Time Maude i作者: 特征 時間: 2025-3-24 21:40 作者: 種子 時間: 2025-3-25 00:09
Language Definitions as Rewrite Theories, to Maude rewrite theories, for executing programs in the defined languages based on the Maude rewriting engine, and for analyzing programs by adapting various Maude analysis tools. A recent extension to the .tool suite is an automatic transformation of language definitions that enables the symbolic作者: 改革運動 時間: 2025-3-25 05:18 作者: 貪婪的人 時間: 2025-3-25 10:25 作者: 小丑 時間: 2025-3-25 12:22 作者: Ordeal 時間: 2025-3-25 17:35
A Framework for Mobile Ad hoc Networks in Real-Time Maude,a MANET, both because there are few reasonably accurate formal models of mobility, and because the large state space caused by the movements of the nodes renders straightforward model checking hard. In particular, the combination of wireless communication and node movement is subtle and does not see作者: voluble 時間: 2025-3-25 20:33 作者: Host142 時間: 2025-3-26 03:33 作者: AWE 時間: 2025-3-26 08:03 作者: 敲詐 時間: 2025-3-26 12:25 作者: Collected 時間: 2025-3-26 14:16 作者: paradigm 時間: 2025-3-26 19:41
Formal Specification of Button-Related Fault-Tolerance Micropatterns,istics, high level probabilistic analysis and extensive testing. In this work, we explore how we can use formal patterns to achieve fault-tolerance designs and methods. In particular, we look at faults that occur in mechanical button interfaces such as button bounce, button stuck, and phantom button作者: 人類 時間: 2025-3-26 23:26 作者: alcohol-abuse 時間: 2025-3-27 01:07 作者: nostrum 時間: 2025-3-27 06:22 作者: 不理會 時間: 2025-3-27 10:55 作者: 失眠癥 時間: 2025-3-27 17:35
Yehia Abd Alrahman,Marina Andric,Alessandro Beggiato,Alberto Lluch Lafuente作者: 蔑視 時間: 2025-3-27 17:58
Luis Aguirre,Narciso Martí-Oliet,Miguel Palomino,Isabel Pita作者: 間接 時間: 2025-3-27 22:33 作者: 平淡而無味 時間: 2025-3-28 04:22 作者: 變形 時間: 2025-3-28 06:21 作者: 主動脈 時間: 2025-3-28 14:28
978-3-319-12903-7Springer International Publishing Switzerland 2014作者: 一回合 時間: 2025-3-28 17:34
Rewriting Logic and Its Applications978-3-319-12904-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 兇兆 時間: 2025-3-28 20:10 作者: 帶傷害 時間: 2025-3-28 23:35
https://doi.org/10.1007/978-3-319-12904-4Cloud computing; Conditional term rewriting; Distributed systems; Formal analysis; Formal semantics; Full作者: Guaff豪情痛飲 時間: 2025-3-29 04:48 作者: sleep-spindles 時間: 2025-3-29 10:15
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation, an amalgamation construction. Results on the protection of the behavior along the induced morphisms allow us to safely combine definitions of DSLs to build more complex ones. We illustrate our proposal on our e-Motions definition of the Palladio DSL. The resulting DSL allows us to carry on performance analysis on Palladio models.作者: Common-Migraine 時間: 2025-3-29 13:42 作者: Mendicant 時間: 2025-3-29 15:40
Culturally Adapted CBT for Psychosis,ental health organizations in high-income countries. However, modern psychotherapies were developed in the West and are influenced by western European-North American values and belief systems. Therefore, attempts have been made to culturally adapt CBT for ethnic minority patients in the West and loc作者: 明智的人 時間: 2025-3-29 20:48
: A Social Experimentation and Learning Territory. In this context, the conquest of the field, a territory historically occupied by men, was the cornerstone on which foundations were laid for the playing sport from an intersectional feminist perspective. The desire to add a pedagogical dimension to it led to the creation of the Community of Practi作者: Firefly 時間: 2025-3-30 01:55
Geobotanisches Institut ETH Züriches. The GMO Guidelines Project has an important goal: international and scientifically acknowledged guidelines and methods are to be developed with which to evaluate the risks posed by the cultivation of GMOs. More information can be found at www.gmo-guidelines.info.作者: aggravate 時間: 2025-3-30 08:07 作者: 聽覺 時間: 2025-3-30 10:01 作者: Explosive 時間: 2025-3-30 16:12
https://doi.org/10.1057/978-1-137-48932-6d drug delivery, tissue engineering, and gene delivery due to its biocompatibility and biodegradability. Nowadays, cellulose-based IPNs are fabricated to develop cost-effective sustainable alternative to plastics in food packaging industry. The benefits of these biopolymer-based IPNs in various fiel作者: maverick 時間: 2025-3-30 18:15 作者: Uncultured 時間: 2025-3-31 00:41 作者: Demonstrate 時間: 2025-3-31 01:14 作者: 通情達理 時間: 2025-3-31 05:40 作者: ENDOW 時間: 2025-3-31 11:02 作者: Relinquish 時間: 2025-3-31 15:00
Enabling Distributed QoS Management Utilizing Active Network Technology,esented and the current solutions for distributed network management are discussed. The proposed architecture focuses on the QoS management for DiffSery architecture. The improvements that our architecture offers are presented through a service example, which involves QoS configurations.
