中文
相关论文

相关论文: Modeling and performance evaluation of computer sy…

200 篇论文

In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis for a new approach to balance security and performance, and…

密码学与安全 · 计算机科学 2013-02-06 Ender Yüksel , Hanne Riis Nielson , Flemming Nielson

We propose a comparative performance evaluation of security protocols. The novelty of our approach lies in the use of a polynomial mathematical model that captures the performance of classes of cryptographic algorithms instead of capturing…

密码学与安全 · 计算机科学 2009-10-21 Bela Genge , Piroska Haller

We review studies based on analytic and simulation methods for hierarchical performance analysis of Queueing Network - QN models, which result in an order of magnitude reduction in performance evaluation cost with respect to simulation. The…

性能 · 计算机科学 2024-01-18 Alexander Thomasian

We study operational security in computer network security, including infrastructure, internal processes, resources, information, and physical environment. Current works on developing a security framework focus on a security ontology that…

软件工程 · 计算机科学 2020-03-31 Sabah Al-Fedaghi , Hadeel Alnasser

Frameworks, such as MapReduce and Hadoop are abundant nowadays. They seek to reap benefits of parallelization, albeit subject to a synchronization constraint at the output. Fork-Join (FJ) queuing models are used to analyze such systems.…

性能 · 计算机科学 2016-12-19 Wasiur R. KhudaBukhsh , Sounak Kar , Amr Rizk , Heinz Koeppl

We propose a performance evaluation method for security protocols. Based on the informal specification, we construct a canonical model which includes, alongside protocol messages, cryptographic operations performed by participants in the…

密码学与安全 · 计算机科学 2009-08-21 Bela Genge , Piroska Haller , Iosif Ignat , Ovidiu Ratoi

Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the…

软件工程 · 计算机科学 2023-06-26 Mukund Bhole , Wolfgang Kastner , Thilo Sauter

A router is a device, in the computer networks, that is used to forward a data packet. Because of its function, the router becomes an important role in measuring the performance of computer networks. It needs to process the incoming data…

网络与互联网体系结构 · 计算机科学 2019-03-01 Kurniawan D. Irianto

The paper examines quantitative assessment of wireless distribution system security, as well as an assessment of risks from attacks and security violations. Furthermore, it describes typical security breach and formal attack models and five…

密码学与安全 · 计算机科学 2019-06-27 Volodymyr Buriachok , Volodymyr Sokolov , Pavlo Skladannyi

In this paper, we present the Gaussian process regression as the predictive model for Quality-of-Service (QoS) attributes in Web service systems. The goal is to predict performance of the execution system expressed as QoS attributes given…

网络与互联网体系结构 · 计算机科学 2013-05-09 Jakub M. Tomczak , Jerzy Swiatek , Krzysztof Latawiec

Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which a system is partially specified. Therefore, we suppose the…

计算机科学中的逻辑 · 计算机科学 2015-09-30 Fabio Martinelli , Ilaria Matteucci , Francesco Santini

Queueing-network models are developed for enhanced and next-generation 911 (E911 and NG911) systems, which capture both their cyber-components (communications, data-processing) and physical-world-elements (call takers, vehicle dispatch).…

系统与控制 · 电气工程与系统科学 2021-01-28 Mengran Xue , Sandip Roy

Closed queuing networks with finite capacity buffers and skip-over policies are fundamental models in the performance evaluation of computer and communication systems. This technical report presents the details of computational algorithms…

性能 · 计算机科学 2024-09-13 Gianfranco Balbo , Andrea Marin , Diletta Olliaro , Matteo Sereno

Nowadays, companies are highly exposed to cyber security threats. In many industrial domains, protective measures are being deployed and actively supported by standards. However the global process remains largely dependent on document…

密码学与安全 · 计算机科学 2024-09-13 Christophe Ponsard

Networks in which the processing of jobs occurs both sequentially and in parallel are prevalent in many application domains, such as computer systems, healthcare, manufacturing, and project management. The parallel processing of jobs gives…

概率论 · 数学 2016-06-15 Erhun Özkan , Amy R. Ward

The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required.…

操作系统 · 计算机科学 2014-02-21 Asen Petkov Iliev

Service industries, such as ports, are attentive to their standards, a smooth service flow and economic viability. Cost benefit analysis has proven itself as a useful tool to support this type of decision making; it has been used by…

计算工程、金融与科学 · 计算机科学 2013-06-03 Galina Sherman , Peer-Olaf Siebers , David Menachof , Uwe Aickelin

Computer systems can be found everywhere: in space, in our homes, in our cars, in our pockets, and sometimes even in our own bodies. For concerns of safety, economy, and convenience, it is important that such systems work correctly.…

计算机科学中的逻辑 · 计算机科学 2019-05-22 Mathias Ruggaard Pedersen

As competitiveness increases, being able to guaranting QoS of delivered services is key for business success. It is thus of paramount importance the ability to continuously monitor the workflow providing a service and to timely recognize…

软件工程 · 计算机科学 2014-05-05 Giuseppe Cicotti , Luigi Coppolino , Salvatore D'Antonio , Luigi Romano

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional…

计算机科学中的逻辑 · 计算机科学 2010-06-29 Matthias Güdemann , Frank Ortmeier
‹ 上一页 1 2 3 10 下一页 ›