Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Ivan Stojic"'
Publikováno v:
Future Generation Computer Systems. 111:475-490
Performance evaluation of large distributed systems plays a pivotal role in the design of Internet of Things (IoT) applications, or Big Data analysis, where high scalability and low response times are required. However, this performance assessment re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6b80d02b0cd5a97db1de68c3dc3d2ee
https://doi.org/10.1016/j.future.2019.10.045
https://doi.org/10.1016/j.future.2019.10.045
Publikováno v:
Computer Safety, Reliability, and Security-38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Safety, Reliability, and Security
Lecture Notes in Computer Science ISBN: 9783030266004
SAFECOMP
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Safety, Reliability, and Security
Lecture Notes in Computer Science ISBN: 9783030266004
SAFECOMP
In order to be resilient, a system must be adaptable. Trustworthy adaptation requires that a system can be dynamically reconfigured at run-time without compromising the robustness and integrity of the system. Adaptive MILS extends MILS, a successful
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94218825b349aaa8bcf9f5bb8c085c55
Publikováno v:
Formal Methods ISBN: 9783319955810
FM
FM
We propose a novel approach to the formal specification and verification of dynamic architectures that are at the core of adaptive systems such as critical infrastructure protection. Key features include run-time reconfiguration based on adding and r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f82e2669d865c890071f8330a52f952
https://doi.org/10.1007/978-3-319-95582-7_37
https://doi.org/10.1007/978-3-319-95582-7_37
Publikováno v:
VALUETOOLS
Stochastic Petri nets (SPNs) are widely used for the performance evaluation of computer and telecommunication systems. They inherit from their untimed version the capability of modeling parallel computations in a simple, graphical way. Simulation of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b232d77340f4957b96aaaf0d1c64a67c
https://doi.org/10.4108/eai.25-10-2016.2266454
https://doi.org/10.4108/eai.25-10-2016.2266454
Publikováno v:
Quantitative Evaluation of Systems ISBN: 9783319434247
QEST
QEST
This paper presents a tool spnps for perfect sampling (PS) in stochastic Petri nets (SPN). SPNs are an important formalism for performance evaluation of telecommunication systems and computer hardware and software architectures. Stochastic process un
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a4cafcb186b8ef8362632476c2d1993
https://doi.org/10.1007/978-3-319-43425-4_11
https://doi.org/10.1007/978-3-319-43425-4_11
Publikováno v:
MASCOTS
Stochastic Petri nets are an important formalism for performance evaluation of telecommunication systems and computer hardware and software architectures whose underlying process is a Continuous Time Markov Chain. In practice, performance evaluation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d508ff8fe6a85da5ca2120119e95388e
http://hdl.handle.net/10278/3663439
http://hdl.handle.net/10278/3663439
Publikováno v:
MASCOTS
A large class of modern servers are capable of providing services with different levels of quality. In general, more accurate output requires longer computation time, allowing the trade-off between quality of service and expected response time. In or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d1fb912ce351556def07af28f086171
https://doi.org/10.1109/mascots.2014.26
https://doi.org/10.1109/mascots.2014.26