標(biāo)題: Titlebook: Real-Time: Theory in Practice; REX Workshop, Mook, J. W. Bakker,C. Huizing,G. Rozenberg Conference proceedings 1992 Springer-Verlag Berlin [打印本頁] 作者: hierarchy 時(shí)間: 2025-3-21 19:21
書目名稱Real-Time: Theory in Practice影響因子(影響力)
書目名稱Real-Time: Theory in Practice影響因子(影響力)學(xué)科排名
書目名稱Real-Time: Theory in Practice網(wǎng)絡(luò)公開度
書目名稱Real-Time: Theory in Practice網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Real-Time: Theory in Practice被引頻次
書目名稱Real-Time: Theory in Practice被引頻次學(xué)科排名
書目名稱Real-Time: Theory in Practice年度引用
書目名稱Real-Time: Theory in Practice年度引用學(xué)科排名
書目名稱Real-Time: Theory in Practice讀者反饋
書目名稱Real-Time: Theory in Practice讀者反饋學(xué)科排名
作者: Habituate 時(shí)間: 2025-3-22 00:12 作者: 使迷惑 時(shí)間: 2025-3-22 02:01
The state operator in real time process algebra,We extend the real time process algebra of [BB91a] with the state operator of [BB88]. We show the usefulness of this extension in several examples. We use concepts from (classical) real space process algebra of [BB91b] in order to deal with different locations.作者: 燦爛 時(shí)間: 2025-3-22 08:17 作者: absorbed 時(shí)間: 2025-3-22 11:03
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/822305.jpg作者: MORT 時(shí)間: 2025-3-22 16:51 作者: erythema 時(shí)間: 2025-3-22 18:16
978-3-540-55564-3Springer-Verlag Berlin Heidelberg 1992作者: 和平主義者 時(shí)間: 2025-3-22 23:54 作者: LANCE 時(shí)間: 2025-3-23 01:50
Conference proceedings 1992ing research. The volume givesarepresentative picture of what is going on in the fieldworldwide,presented by eminent, active researchers. Thematerial in the volume wasprepared by the authors after theworkshop took place and reflects theresults of the workshopdiscussions.作者: HALO 時(shí)間: 2025-3-23 08:47 作者: Lipoprotein(A) 時(shí)間: 2025-3-23 13:03
Problems, promises and performance: some questions for real-time system specification,ion of timing properties can be extended towards the implementation. The need for fault-tolerance in a real-time system is then considered and ways examined of incorporating a formal proof of fault-tolerance along with proof of its timing properties.作者: ASTER 時(shí)間: 2025-3-23 17:54 作者: 注意力集中 時(shí)間: 2025-3-23 20:34
The theory of timed automata,n graphs with timing constraints using finitely many real-valued .. A timed automaton accepts . — strings in which a real-valued time of occurrence is associated with each symbol. We study timed automata from the perspective of formal language theory: we consider closure properties, decision problem作者: Cognizance 時(shí)間: 2025-3-23 23:09 作者: Proclaim 時(shí)間: 2025-3-24 04:25 作者: Interim 時(shí)間: 2025-3-24 10:12
Time in state based formal description techniques for distributed systems,ptions, support validation analyses and allow assessment of the conformance of implementations against specifications. This paper presents how some mature and important techniques based on extensions of state machines are able to handle in an integrated way functional and time requirements. It is in作者: parasite 時(shí)間: 2025-3-24 13:35
Implementing reactive programs on circuits a hardware implementation of LUSTRE, hardware is of course a good way for increasing their performances. Moreover, configurable hardware is now available which makes practical such an implementation. This paper describes an implementation of the synchronous declarative language . on a “programmable active memory”.作者: 收到 時(shí)間: 2025-3-24 16:55 作者: 冒號(hào) 時(shí)間: 2025-3-24 22:48
Timed transition systems,ition system are replaced (and superseded) by quantitative lower-bound and upperbound timing constraints on transitions. The purpose of this paper is to explore the scope of applicability for the abstract model of timed transition systems. We demonstrate that the model can represent a wide variety o作者: incarcerate 時(shí)間: 2025-3-24 23:11
Compositional verification of real-time systems using extended Hoare triples,ograms are written in an Occam-like programming language with synchronous message passing along unidirectional channels. Real-time is incorporated by delaystatements and time-outs. To deal with reactive systems, a Hoare triple is extended with a third assertion, called commitment, which expresses th作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-25 04:04 作者: jaunty 時(shí)間: 2025-3-25 10:42
Problems, promises and performance: some questions for real-time system specification, of time external to the program, the representation of time in the program and the verification of the timing properties on an implementation. Three different views are compared: real-time programming without time, the synchrony hypothesis and asynchronous real-time programs. Questions about the re作者: 支形吊燈 時(shí)間: 2025-3-25 15:24
Abstraction in real time process algebra,of which the soundness and the completeness is proven. By adding the integral construct we can interpret symbolic (untimed) process terms as timed processes. We investigate the resulting .-equivalence and come to a delay bisimulation with a stronger root condition. Finally we test the applicability 作者: 兩棲動(dòng)物 時(shí)間: 2025-3-25 16:31
(Real) time: A philosophical perspective,f time that does not consider quantitative timing issues such as those relevant for real-time computing. This starting point is then adapted to incorporate real-time features. In doing so we try to combine the views on time and real-time forwarded by mathematical logic and by computer science. To il作者: 夾死提手勢(shì) 時(shí)間: 2025-3-25 20:13 作者: 委派 時(shí)間: 2025-3-26 01:59
Forward and backward simulations for timing-based systems, such systems. As a first step, a comprehensive overview of simulation techniques for simple untimed automata is given. In particular, soundness and completeness results for (1) refinements, (2) forward and backward simulations, (3) forward-backward and backward-forward simulations, and (4) history 作者: 儀式 時(shí)間: 2025-3-26 05:05 作者: GROVE 時(shí)間: 2025-3-26 09:01 作者: 價(jià)值在貶值 時(shí)間: 2025-3-26 15:46
Compositional verification of real-time systems using extended Hoare triples,mal parallelism assumption which represents the situation in which each process has its own processor. Next this framework is generalized to multiprogramming where several processes may share a single processor and scheduling is based on priorities of statements.作者: 有害 時(shí)間: 2025-3-26 19:26
Specification and analysis of resource-bound real-time systems,putation model by a prioritysensitive, operational semantics, which yields a set of equivalence-preserving proof rules. Using this proof system, we perform the algebraic verification of our original real-time system.作者: Biofeedback 時(shí)間: 2025-3-26 22:22
Forward and backward simulations for timing-based systems,phecy variables of Abadi and Lamport, respectively. As a subsequent step, it is shown how most of the results for untimed automata can be carried over to the setting of timed automata. In fact, many of the results for the timed case are obtained as consequences of the analogous results for the untimed case.作者: 載貨清單 時(shí)間: 2025-3-27 02:48
Logics and models of real time: A survey,terpreted over a variety of different models of time and computation, including linear and branching time, interleaving and true concurrency, discrete and continuous time. For each choice of syntax and semantics, we summarize the results that are known about expressive power, algorithmic finite-state verification, and deductive verification.作者: 不發(fā)音 時(shí)間: 2025-3-27 07:14 作者: Accolade 時(shí)間: 2025-3-27 12:16
Conference proceedings 1992 to a real "bandwagon".Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchasprocess algebra, temporal logic, and model checking.This volume contains the proceedings of a work作者: 跳動(dòng) 時(shí)間: 2025-3-27 14:26
0302-9743 izedgroups to a real "bandwagon".Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchasprocess algebra, temporal logic, and model checking.This volume contains the proceedings作者: 變化 時(shí)間: 2025-3-27 18:02
The theory of timed automata, associated with each symbol. We study timed automata from the perspective of formal language theory: we consider closure properties, decision problems, and subclasses. We discuss the application of this theory to automatic verification of real-time requirements of finite-state systems.作者: 壟斷 時(shí)間: 2025-3-28 01:11
Semantics of reactive systems in abstract time,perties can not be combined in one semantics. Since these properties are mandatory for a structured development of real-time reactive systems, we introduce a two-levelled semantics in which the three properties hold on different levels of the semantics: global events are treated more abstractly with respect to time than local events.作者: acheon 時(shí)間: 2025-3-28 05:18 作者: EXTOL 時(shí)間: 2025-3-28 06:21
(Real) time: A philosophical perspective,orate real-time features. In doing so we try to combine the views on time and real-time forwarded by mathematical logic and by computer science. To illustrate these issues we use temporal logic, but many of the results presented are independent from a particular language and are also relevant for other (real) time formalisms.作者: nugatory 時(shí)間: 2025-3-28 12:09
Timed process algebras with urgent interactions and a unique powerful binary operator,ators, and preserves the expressivity of ρ1, is then proposed: it combines mutual disabling, choice, parallel composition with synchronization, and pure interleaving, into a unique, general-purpose, parametric binary operator.作者: FILLY 時(shí)間: 2025-3-28 16:01
0302-9743 ematerial in the volume wasprepared by the authors after theworkshop took place and reflects theresults of the workshopdiscussions.978-3-540-55564-3978-3-540-47218-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 偶然 時(shí)間: 2025-3-28 20:56 作者: 補(bǔ)助 時(shí)間: 2025-3-29 00:08 作者: Incise 時(shí)間: 2025-3-29 04:04 作者: Flawless 時(shí)間: 2025-3-29 08:56
Nancy Lynch,Frits Vaandrager the clinical validity and clinical utility of the various types of testing and ensure that patients obtain adequate counseling appropriate to their clinical situation. Test interpretation can be complex due to factors such as genetic heterogeneity, de novo or novel mutations, and reduced penetrance作者: 抱負(fù) 時(shí)間: 2025-3-29 11:35 作者: 機(jī)警 時(shí)間: 2025-3-29 15:53 作者: coagulation 時(shí)間: 2025-3-29 22:50
Ron Koymanssciplinary work has been reported to date. The general purpose of the present study was to analyze specific kinds of data from a large series of epileptic patients to focus the significance of the findings, particularly in relation to previously published results. Correlations among the following pa作者: 青春期 時(shí)間: 2025-3-30 01:21
Richard Gerber,Insup Leeal synapses. Cell membranes of neurons have ion channels that permit the passage of ions depending on their electrochemical gradients. The equilibrium potential is the membrane potential at which there is no net flow of an ion across the cell membrane which is calculated by Nernst equation. Equilibr作者: 閑逛 時(shí)間: 2025-3-30 07:58
Nancy Lynch,Frits Vaandrager% of patients with epilepsy have causative single gene mutations, while up to 40% are thought to have some genetic influence through multiple possibly interacting genes and/or environmental factors. There are multiple types of genetic changes that may contribute to the development of seizures and ep作者: Defense 時(shí)間: 2025-3-30 11:02 作者: Ige326 時(shí)間: 2025-3-30 13:40 作者: Measured 時(shí)間: 2025-3-30 19:18
Essays on New Institutional Economicsy, and postural instability, but in addition have symptoms and signs that are not typically present in Parkinson disease. Forms of atypical parkinsonism that have been associated with neurocognitive disorder include progressive supranuclear palsy, corticobasal degeneration, multiple system atrophy, 作者: heirloom 時(shí)間: 2025-3-31 00:08
Ronan Le Velly,Marc Moraineted [2], the subjects examined were objectively classified into three groups according to the rate of CICR: unaccelerated (group 1, . = 61), moderately accelerated (group 2, . = 19), and highly accelerated (group 3, . = 4). The normal controls were all in group 1. Almost all the patients with conspi作者: tooth-decay 時(shí)間: 2025-3-31 01:50 作者: 貴族 時(shí)間: 2025-3-31 05:39
onal living.Historical, political, socio-economic, and cultural influences on Child Welfare Systems.Latin American and the Caribbean, African, Asian, Middle-Eastern, Western and Eastern European countries and t978-3-319-86297-2978-3-319-57990-0作者: admission 時(shí)間: 2025-3-31 10:58
Propositional Logic,is “it is raining”. These two propositions can be connected to form the new proposition “if it is raining the street is wet”. Written more formally: “it is raining ? the street is wet”. Introducing important concepts such as syntax, semantics, interpretation, model, correctness, completeness, calcul作者: elastic 時(shí)間: 2025-3-31 13:32 作者: 背叛者 時(shí)間: 2025-3-31 20:15
Book 2014 been described the role of advanced ?imaging (Multiparametric MRI) in the management of PCa. Early diagnosis, risk classification, treatment decision making, surgery, radiotherapy, medical therapies and health care support are all fully considered. This book will be informative and enlightening for
