標(biāo)題: Titlebook: Recent Trends in Algebraic Development Techniques; 23rd IFIP WG 1.3 Int Phillip James,Markus Roggenbach Conference proceedings 2017 IFIP In [打印本頁] 作者: rupture 時間: 2025-3-21 16:15
書目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)
書目名稱Recent Trends in Algebraic Development Techniques影響因子(影響力)學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開度
書目名稱Recent Trends in Algebraic Development Techniques網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques被引頻次
書目名稱Recent Trends in Algebraic Development Techniques被引頻次學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques年度引用
書目名稱Recent Trends in Algebraic Development Techniques年度引用學(xué)科排名
書目名稱Recent Trends in Algebraic Development Techniques讀者反饋
書目名稱Recent Trends in Algebraic Development Techniques讀者反饋學(xué)科排名
作者: GEAR 時間: 2025-3-21 21:10 作者: ETCH 時間: 2025-3-22 03:16 作者: photopsia 時間: 2025-3-22 05:31 作者: 增強(qiáng) 時間: 2025-3-22 10:04 作者: 陰謀小團(tuán)體 時間: 2025-3-22 16:58
Algebraic Model Management: A SurveyWe survey the field of model management and describe a new model management approach based on algebraic specification.作者: 闖入 時間: 2025-3-22 18:29
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)The Kolmogorov axioms for probability functions are placed in the context of signed meadows. A completeness theorem is stated and proven for the resulting equational theory of probability calculus. Elementary definitions of probability theory are restated in this framework.作者: 壕溝 時間: 2025-3-22 23:05 作者: CRATE 時間: 2025-3-23 05:20
Recent Trends in Algebraic Development Techniques978-3-319-72044-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: MUMP 時間: 2025-3-23 08:43 作者: 四牛在彎曲 時間: 2025-3-23 13:11 作者: ONYM 時間: 2025-3-23 15:57
Asymmetric Combination of Logics is Functorial: A Surveyples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questio作者: 有害處 時間: 2025-3-23 20:39
A Calculus of Virtually Timed Ambientsat every level in a location hierarchy compete with other processes for processing time, the computing power of a virtual machine depends on its position in this hierarchy and may change if the virtual machine moves. These effects of nested virtualization motivate the calculus of virtually timed amb作者: 冬眠 時間: 2025-3-23 23:41 作者: hurricane 時間: 2025-3-24 05:04 作者: Pandemic 時間: 2025-3-24 06:35
Observational Semantics for Dynamic Logic with Bindersre. The commitment of this logic concerning bisimulation equivalence is, however, not satisfactory: the model class semantics of specifications in . is not closed under bisimulation equivalence; there are .-sentences that distinguish bisimulation equivalent models, i.e., . does not enjoy the modal i作者: occurrence 時間: 2025-3-24 10:41
Towards Critical Pair Analysis for the Graph Programming Language GP 2r refute confluence (functional behaviour) for a large class of graph programs. In this paper, we introduce . critical pairs of GP 2 rule schemata, which are labelled with expressions, and establish the completeness and finiteness of the set of symbolic critical pairs over a finite set of rule schem作者: 整理 時間: 2025-3-24 16:09 作者: 跳動 時間: 2025-3-24 20:00
Formalizing and Validating the P-Store Replicated Data Store in Maudelizability, and limited use of atomic multicast. In addition, a number of recent data store designs can be seen as extensions of P-Store. This paper describes the formalization and formal analysis of P-Store using the rewriting logic framework Maude. As part of this work, this paper specifies group 作者: 依法逮捕 時間: 2025-3-24 23:10
Generic Hoare Logic for Order-Enriched Effects with Exceptionsgi’s . with native exceptions and iteration, interpreted over monads supporting a dcpo structure. We present a Hoare calculus with abnormal postconditions for this metalanguage and prove relative completeness using weakest liberal preconditions, extending earlier work on the exception-free case.作者: CURL 時間: 2025-3-25 05:28 作者: 多樣 時間: 2025-3-25 09:19
An Institution for Event-Bhe theory of institutions. Many formalisms have been improved in this way and our aim is thus to define an appropriate institution for Event-B, which we call .. We provide a definition of . and the proof of its satisfaction condition. A motivating example of a traffic-light simulation is presented to illustrate our approach.作者: 和諧 時間: 2025-3-25 12:24
On the Most Suitable Axiomatization of?Signed?Integershe Peano-style construction of unsigned naturals using “zero” and “succ” to the case of signed integers. We compare the various approaches used in CADP, CASL, Coq, Isabelle/HOL, KIV, Maude, mCRL2, PSF, SMT-LIB, TLA+, etc. according to objective criteria and suggest an “optimal” definition of signed integers.作者: malign 時間: 2025-3-25 18:29 作者: 雜役 時間: 2025-3-25 21:05 作者: Additive 時間: 2025-3-26 02:56
A Calculus of Virtually Timed Ambientstimed ambients is defined as an extension of bisimulation for mobile ambients. We show that the equivalence of contextual bisimulation and reduction barbed congruence is preserved by weak timed bisimulation. The calculus of virtually timed ambients is illustrated by examples.作者: 口音在加重 時間: 2025-3-26 07:11
Asymmetric Combination of Logics is Functorial: A Surveyns. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations.作者: figure 時間: 2025-3-26 09:19
Formalizing and Validating the P-Store Replicated Data Store in Maudecommunication commitment and defines an abstract Maude model of atomic multicast, both of which are key building blocks in many data store designs. Maude model checking analysis uncovered a non-trivial error in P-Store; this paper also formalizes a correction of P-Store whose analysis did not uncover any flaw.作者: Feckless 時間: 2025-3-26 15:59
Advances in Verification of Multi-agent Systemslel approaches?[.], and SAT-based methods?[.]..I then demonstrated MCMAS?[., .], an open-source BDD-based model checker supporting these specification languages. A case study concerning the verification of diagnosability and fault-tolerance of an autonomous underwater vehicle was discussed?[., .] as作者: Nonflammable 時間: 2025-3-26 19:37 作者: blight 時間: 2025-3-26 23:49 作者: 鬼魂 時間: 2025-3-27 03:29 作者: Irrepressible 時間: 2025-3-27 06:14
ters. We also find that quality upgrading effect is more significant for non-core products and less-productive exporters. We find a new mechanism through which exchange rate change affects export decisions, and show that competition is an important driving force for product quality upgrading.作者: 侵略主義 時間: 2025-3-27 12:47
ring FDI from the US. BIT will be beneficial for Chinese firms to invest overseas and become global players. Domestic firms need to update their technology, reduce costs, and learn management skills from their foreign competitors, while using the national treatment terms in BIT to enter the fields t作者: 反省 時間: 2025-3-27 15:54
Alessio Lomuscioring FDI from the US. BIT will be beneficial for Chinese firms to invest overseas and become global players. Domestic firms need to update their technology, reduce costs, and learn management skills from their foreign competitors, while using the national treatment terms in BIT to enter the fields t作者: CRANK 時間: 2025-3-27 19:27 作者: Fibrillation 時間: 2025-3-28 01:06 作者: CHARM 時間: 2025-3-28 03:36
esponses of monetary policy to inflation shocks. The authors show that second round effects contribute very little to wage inflation following an exchange rate depreciation shock. Both lending rate and household consumption responds asymmetrical to repo rate changes.?.This book will appeal to policy作者: FAWN 時間: 2025-3-28 07:31 作者: FUSC 時間: 2025-3-28 13:29 作者: Gudgeon 時間: 2025-3-28 15:03 作者: 地名詞典 時間: 2025-3-28 20:13
Jan A. Bergstra,Alban Ponsend foreign trade growth. Higher PTE implies greater dependence of an open economy on external shocks in the world market and higher volatility of domestic prices due to changes in the exchange rate. Therefore, the government authorities should know the degree of PTE to forecast domestic inflation an作者: 動機(jī) 時間: 2025-3-29 01:22
Einar Broch Johnsen,Martin Steffen,Johanna Beate Stumpfnd foreign trade growth. Higher PTE implies greater dependence of an open economy on external shocks in the world market and higher volatility of domestic prices due to changes in the exchange rate. Therefore, the government authorities should know the degree of PTE to forecast domestic inflation an作者: 杠桿 時間: 2025-3-29 03:32 作者: 易彎曲 時間: 2025-3-29 10:02
Hubert Garaveltion causes a loss in competitiveness or reflects the improvements in it (see also Frait and Komarek (1999, 2001)). The real exchange rate misalignments may be rather costly. Both overvalued and undervalued currencies have their negative implications. From policymakers’ perspective, the risks implie作者: flaunt 時間: 2025-3-29 13:23 作者: 挫敗 時間: 2025-3-29 19:16 作者: 牢騷 時間: 2025-3-29 22:01
Till Mossakowski,Florian Rabe,Mihai Codescue sticky, expansionary monetary policy can increase the level of activity in the domestic economy if a country is faced with a recession. Similarly, monetary policy can be used to cool down an overheating economy. The issue of to what extent that monetary policy can affect any real variables is not 作者: 上漲 時間: 2025-3-30 00:59 作者: musicologist 時間: 2025-3-30 05:56
Christoph Rauch,Sergey Goncharov,Lutz Schr?dersure is to cease being an exporter. Those kinds of issues will be discussed in Chapter 9. For now take the commercial cash flows as given. Should a firm strive to lower exposure by the use of financial instruments? There are some relevant reasons for doing this. Most observers agree that hedging of 作者: 側(cè)面左右 時間: 2025-3-30 12:14
