Results 21 to 30 of about 5,668 (300)
Discrete-time rewards model-checked [PDF]
, 2003 This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints.
A. Aziz +14 more
core +2 more sources
Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis
Journal of Marine Science and EngineeringThis paper presents a phased fault tree analysis (phased-FTA)-based approach to evaluate the performability of Autonomous Underwater Vehicles (AUVs) in real time.
Sungil Byun, Dongik Lee
doaj +1 more source
TRANSLATING DRAMA: ANALYSIS OF DAVID EDGAR’S PLAY “ TESTING THE ECHO”
Многоязычие в образовательном пространстве, 2019 The article focuses on one of the problems of literary translation - the translation of dramatic texts. The article examines this type of texts in terms of the specificity of the genre and type of literature, their structural and other specific ...
Yulia Aleksandrovna Borisenko +1 more
doaj +1 more source
ASIdE: Using Autocorrelation-Based Size Estimation for Scheduling Bursty Workloads. [PDF]
, 2012 Temporal dependence in workloads creates peak congestion that can make service unavailable and reduce system performance. To improve system performability under conditions of temporal dependence, a server should quickly process bursts of requests that ...
Casale, G, Mi, N, Smirni, E
core +1 more source
Knowledge how, ability, and the type-token distinction [PDF]
, 2015 This paper examines the relationship between knowing how to G and the ability to G, which is typically presented in one of the following ways: (a) knowing how to G entails the ability to G; (b) knowing how to G does not entail the ability to G.
Young, G
core +1 more source
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks [PDF]
, 2006 In a 2-hop IEEE 801.11-based wireless LAN, the distributed coordination function (DCF) tends to equally share the available capacity among the contending stations. Recently alternative capacity sharing strategies have been made possible.
Cloth, Lucia +2 more
core +2 more sources
Journal of the Brazilian Computer Society, 2021 Traditional solutions for tramway interlocking systems are based on physical sensors (balizes) distributed along the infrastructure which detect passing of the trams and trigger different actions, like the communications with the ground infrastructure ...
Leandro Dias da Silva +4 more
doaj +1 more source
A comparison of numerical splitting-based methods for Markovian dependability and performability models [PDF]
, 1998 Iterative numerical methods are an important ingredient for the solution of continuous time Markov dependability models of fault-tolerant systems. In this paper we make a numerical comparison of several splitting-based iterative methods. We consider the
Carrasco, Juan A., Suñé, Víctor
core +1 more source
Argumentation et Analyse du Discours, 2023 This article aims at analysing the manifesto J'parle mal pis j’aime ça by Franco-Albertan writer and artist Joëlle Préfontaine. Based on a theoretical framework inspired by the analysis of literary discourse and rhetorical argumentation, I formulate the ...
Francesco Attruia
doaj +1 more source
Modelling network memory servers with parallel processors, break-downs and repairs. [PDF]
, 2007 This paper presents an analytical method for the performability evaluation of a previously reported network memory server attached to a local area network. To increase the performance and availability of the proposed system, an additional server is added
Ever, Enver +3 more
core +1 more source