標(biāo)題: Titlebook: Runtime Verification; First International Howard Barringer,Ylies Falcone,Nikolai Tillmann Conference proceedings 2010 Springer Berlin Heid [打印本頁(yè)] 作者: CLIP 時(shí)間: 2025-3-21 16:48
書目名稱Runtime Verification影響因子(影響力)
書目名稱Runtime Verification影響因子(影響力)學(xué)科排名
書目名稱Runtime Verification網(wǎng)絡(luò)公開度
書目名稱Runtime Verification網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Runtime Verification被引頻次
書目名稱Runtime Verification被引頻次學(xué)科排名
書目名稱Runtime Verification年度引用
書目名稱Runtime Verification年度引用學(xué)科排名
書目名稱Runtime Verification讀者反饋
書目名稱Runtime Verification讀者反饋學(xué)科排名
作者: 粘土 時(shí)間: 2025-3-21 22:12 作者: 靈敏 時(shí)間: 2025-3-22 03:20
Mike Barnettapter, we focus on the problem of different data path mechanisms in heterogeneous QoS systems. As in the preceding chapter on different QoS declarations, this is clearly an instance of technical heterogeneity. Different QoS architectures usually differ very much in the details of their respective da作者: 真實(shí)的人 時(shí)間: 2025-3-22 06:53 作者: Morbid 時(shí)間: 2025-3-22 10:22
Matthew B. Dwyer,Rahul Purandare,Suzette Person of a network QoS system. There are several network QoS architectures under discussion for use in the Internet but the number of possible network QoS systems which can be built from these architectures is much larger and may even be regarded as an infinite spectrum. The most important proposals in t作者: Irrigate 時(shí)間: 2025-3-22 14:22 作者: 道學(xué)氣 時(shí)間: 2025-3-22 17:40
R. Sekarr the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:...Formal models and abstractions of heterogeneous objec作者: 伴隨而來(lái) 時(shí)間: 2025-3-22 22:47 作者: 噴油井 時(shí)間: 2025-3-23 04:11 作者: BOON 時(shí)間: 2025-3-23 06:43
Yliès Falconelumes. The scope of coverage is all areas of chemical science including the interfaces with related disciplines such as biology, medicine and materials science. The goal of each thematic volume is to give the non-specialist reader, whether in academia or industry, a comprehensive insight into an are作者: 危險(xiǎn) 時(shí)間: 2025-3-23 10:33
Sylvain Hallé,Roger Villemaire opinions, and interpretations. It consists of an introduction to the concepts that form the backbone of photocatalysis, from the principles of solid-state chemistry and physics to the role of reactive oxidizing species. Having recognised the organic link with chemical kinetics, part of the book des作者: Ordeal 時(shí)間: 2025-3-23 14:47 作者: ostensible 時(shí)間: 2025-3-23 19:46
Patrick Meredith,Grigore Ro?uVernadskii considered geochemistry to be the science of the history of chemical elements on the earth, their distribution and move- ments in space and time, and their genetic relations [IJ. Geochemical migration was defined by Fersman as "the movement of chemical elements in the earth‘s crust leadin作者: MERIT 時(shí)間: 2025-3-24 02:08 作者: 辯論的終結(jié) 時(shí)間: 2025-3-24 05:46
Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marionn basic voice services and low data rate transmissions. Taking cellular systems as an example, the fourth generation (4G) mobile communication technology promises to provide broadband Internet access in mobile terminals with up to gigabit-per-second downlink data rate [.]. Compared to the 9.6?kbit/s作者: mydriatic 時(shí)間: 2025-3-24 10:14 作者: 表示向前 時(shí)間: 2025-3-24 14:38 作者: insert 時(shí)間: 2025-3-24 17:41 作者: 輕信 時(shí)間: 2025-3-24 22:54 作者: anus928 時(shí)間: 2025-3-25 01:35 作者: right-atrium 時(shí)間: 2025-3-25 04:43
978-3-642-16611-2Springer Berlin Heidelberg 2010作者: Ebct207 時(shí)間: 2025-3-25 09:47 作者: BLAND 時(shí)間: 2025-3-25 13:12
0302-9743 Overview: Unique visibility.Fast-track conference proceedings.State-of-the-art research978-3-642-16611-2978-3-642-16612-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 休息 時(shí)間: 2025-3-25 18:39 作者: cartilage 時(shí)間: 2025-3-25 22:22 作者: 完整 時(shí)間: 2025-3-26 03:22
https://doi.org/10.1007/978-3-642-16612-9Debugging; Simulation; algorithm analysis; dynamic program analysis; embedded systems; fault protection; p作者: 規(guī)范就好 時(shí)間: 2025-3-26 07:00 作者: 難解 時(shí)間: 2025-3-26 10:42
Runtime Verification for the Webhis exchange must be verified at runtime. These properties can be formalized using an extension of Linear Temporal Logic called LTL-FO.. The tutorial concludes with the presentation of BeepBeep, a lightweight runtime monitor for web applications.作者: BADGE 時(shí)間: 2025-3-26 16:39
Automatic Requirement Extraction from Test Casesm) and outputs (produced by the system in response to inputs). The approach uses data-mining techniques to infer invariants from the test data, and an automated-verification technology to determine which of these proposed invariants are indeed invariant and may thus be seen as requirements. Experime作者: endure 時(shí)間: 2025-3-26 17:51
Code Contracts for .NET: Runtime Verification and So Much More Spec# project [3,4] and have applied them in a setting available to all .NET programmers without the need for them to adopt an experimental programming language or the Spec# programming methodology. It has been available since early 2009 with a commercial use license on the DevLabs [7] web site. Si作者: aqueduct 時(shí)間: 2025-3-26 21:42
Visual Debugging for Stream Processing Applicationsications is not trivial, since they are typically distributed across multiple nodes and handle large amounts of data. Traditional debugging techniques like breakpoints often rely on a stop-the-world approach, which may be useful for debugging single node applications, but insufficient for streaming 作者: Flat-Feet 時(shí)間: 2025-3-27 02:36
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?ted to its potential applicability in online approaches to software fault tolerance, there has been a dearth of work exploring the details of how that might be accomplished..In this paper, we describe how a component-oriented approach to software health management exposes the connections between pro作者: 要求比…更好 時(shí)間: 2025-3-27 08:31
Contracts for Scalaecks. Languages such as Eiffel[8], JML[7], or Spec#[1] support contracts natively. Scala [11] does not. Instead, Scala provides flexible syntax that helps in writing highlevel libraries which can often mimic true language extensions. An interesting question is to what degree this syntactic flexibili作者: 蛛絲 時(shí)間: 2025-3-27 11:00 作者: deactivate 時(shí)間: 2025-3-27 14:25 作者: 教義 時(shí)間: 2025-3-27 19:43 作者: 入會(huì) 時(shí)間: 2025-3-28 00:01
You Should Better Enforce Than Verifytion have been mainly concerned with detection of misbehaviors and acknowledgement of desired behaviors, runtime enforcement aims mainly to circumvent misbehaviors of systems and to guarantee desired behaviors. First, we propose a comparison between runtime verification and runtime enforcement. We t作者: Nerve-Block 時(shí)間: 2025-3-28 02:18
Runtime Verification for the Web responses with a server in the background to update their display. A demo application, called the Beep Store, illustrates why complex properties on this exchange must be verified at runtime. These properties can be formalized using an extension of Linear Temporal Logic called LTL-FO.. The tutorial 作者: 內(nèi)向者 時(shí)間: 2025-3-28 06:49
Statistical Model Checking: An Overviewemporal properties with thresholds. The model checking problem for stochastic systems with respect to such logics is typically solved by a numerical approach [31,8,35,22,21,5] that iteratively computes (or approximates) the exact measure of paths satisfying relevant subformulas; the algorithms thems作者: 裙帶關(guān)系 時(shí)間: 2025-3-28 11:12
Runtime Verification with the RV Systemon the successful Monitoring Oriented Programming system developed at the University of Illinois [6,7,9,21,5], while the Predictive Analysis capability is a vastly expanded version of the jPredictor System also developed at the University of Illinois [11,14]..With the RV system, runtime monitoring i作者: 乳汁 時(shí)間: 2025-3-28 15:16 作者: 柳樹；枯黃 時(shí)間: 2025-3-28 19:44 作者: 規(guī)范要多 時(shí)間: 2025-3-28 23:20
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Timeent C., a novel framework to statically optimize such monitoring aspects with respect to a given program under test. C. uses a sequence of increasingly precise static analyses to automatically convert a monitoring aspect into a residual runtime monitor. The residual monitor only watches events trigg作者: 惡名聲 時(shí)間: 2025-3-29 06:17
Checking the Correspondence between UML Models and Implementationution conforms to the diagrams. Situations where sequence diagrams are intended to characterize all possible executions are described. The approach generates an execution tree of all possible sequences, using a detailed collection of graph transformations that represent a precise operational semanti作者: prosthesis 時(shí)間: 2025-3-29 08:18 作者: 出汗 時(shí)間: 2025-3-29 12:16
Recovery Tasks: An Automated Approach to Failure Recoveryow the rest of the application to continue executing. When a failure occurs, the recovery algorithm uses information from a static analysis to characterize the intended behavior of the application had it not failed. It then uses this characterization to recover as much of the application’s execution作者: 自制 時(shí)間: 2025-3-29 18:14
Formally Efficient Program Instrumentation can severely compromise program execution speed. Frameworks like DTrace (Sun Microsystems) and VProbes (VMware) offer practical ways of addressing performance concerns, but there has been no formal understanding of what it means for instrumentation to be efficient. To fill this gap, we propose a cr作者: GIDDY 時(shí)間: 2025-3-29 19:50
Automatic Requirement Extraction from Test Casesntal results from a pilot study involving an automotive-electronics application show that using tests that fully cover the structure of the software yield more complete invariants than structurally-agnostic black-box tests.作者: defibrillator 時(shí)間: 2025-3-30 00:42 作者: Coronary 時(shí)間: 2025-3-30 05:53 作者: 顯微鏡 時(shí)間: 2025-3-30 08:36
Formally Efficient Program Instrumentationiterion based on that of Popek and Goldberg for virtual machines and on our previous work relating this to Jones optimality of program specializers. We further suggest linguistic constraints on instrumentation code to enable more aggressive static optimization of dynamically instrumented programs.作者: 表示向前 時(shí)間: 2025-3-30 13:45
Visual Debugging for Stream Processing Applications operators. The user can interactively indicate points in the streaming application from where tuples will be traced and visualized as they flow through different operators, without stopping the application. To substantiate our discussion, we also discuss several of these features in the context of a financial engineering application.作者: FLUSH 時(shí)間: 2025-3-30 16:44 作者: 鞭子 時(shí)間: 2025-3-30 22:02
Recovery Tasks: An Automated Approach to Failure Recoveryhe control versions. Moreover, the recovery task version of the game benchmark successfully recovered from a real fault that we accidentally introduced during development, while the same fault caused the two control versions to crash.作者: 急性 時(shí)間: 2025-3-31 01:33
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?. Specifically, we describe how recent approaches to reducing the overhead of runtime monitoring aimed at error detection might be adapted to reduce the overhead and improve the effectiveness of fault diagnosis.作者: COM 時(shí)間: 2025-3-31 08:03 作者: Permanent 時(shí)間: 2025-3-31 10:09 作者: Missile 時(shí)間: 2025-3-31 14:36
A Meta-Aspect Protocol for Developing Dynamic Analyses expert can develop a particular analysis. Our design enables a flexible specification of the join point model, configurability of aspect deployment and scoping, and extensibility of pointcut and advice language. We present the application of our design to different dynamic analysis domains.作者: 一大群 時(shí)間: 2025-3-31 18:13
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Timeucceeds on all locations, proving that the program fulfills the stated properties, and completely obviating the need for runtime monitoring. In the remaining cases, the residual runtime monitor is usually much more efficient than a full monitor, yet still captures all property violations at runtime.作者: outskirts 時(shí)間: 2025-3-31 22:46 作者: 圖畫文字 時(shí)間: 2025-4-1 04:40 作者: 臨時(shí)抱佛腳 時(shí)間: 2025-4-1 08:35
Runtime Verification with the RV Systemg of . properties that may specify a relationship between objects. Properties may be defined using one of several logical formalisms, such as: extended regular languages, context-free patterns, deterministic finite state machines, linear temporal logic, and past time linear temporal logic. The syste作者: 新鮮 時(shí)間: 2025-4-1 14:00 作者: Ligneous 時(shí)間: 2025-4-1 14:58 作者: 來(lái)自于 時(shí)間: 2025-4-1 19:47
Mike Barnett QoS guarantees on the data path but only . these guarantees are ensured. Hence, the problem of different data paths becomes the problem of converting the . of the overlaid QoS system into the QoS context of the underlying QoS system. By QoS context, we mean the criteria which qualify data packets f
