18 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of
Yazar
Yevtushenko, Nina. editor. (orcid)0000-0002-4006-1161
Format:
Electronic Resources
Alıntı:
of the volume cover model based testing; test derivation and monitoring; fault localization and
View Other Search Results
Yazar
Jansen, David N. editor. (orcid)0000-0002-6636-3301
Format:
Electronic Resources
Alıntı:
Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big
Yazar
Cuppens-Boulahia, Nora. editor.
Format:
Electronic Resources
Alıntı:
control systems and cyber-physical systems, including security monitoring, trust management, security
Yazar
Jarvis, Stephen. editor.
Format:
Electronic Resources
Alıntı:
Parametric Analysis -- Short Papers -- Path-synchronous Performance Monitoring in HPC Interconnection
Yazar
Xu, Weixia. editor.
Format:
Electronic Resources
Alıntı:
of High-Speed Link Monitoring Tool for Supercomputer -- A Survey of Approaches for Promoting Honest
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond
Yazar
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
of Energy Efficient Wireless Body Area Network (WBAN) for Health Monitoring -- A Revamp Approach for
Yazar
Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713
Format:
Electronic Resources
Alıntı:
Processing and Analysis for Remote Health and Activities Monitoring -- Towards human cell simulation
Yazar
Zhang, Feng. editor. (orcid)0000-0003-1983-7321
Format:
Electronic Resources
Alıntı:
Performance Measurement and Monitoring Tool for Distributed Storage Systems -- vGrouper: Optimizing the
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
Applications Security Monitoring -- The Hybrid Multidimensional-ontological Data Model Based on Metagraph
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
HyperLTL Formulas -- Almost Event-Rate Independent Monitoring of Metric Temporal Logic -- Optimal
18 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: