default search action
28th PRDC 2023: Singapore
- 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023. IEEE 2023, ISBN 979-8-3503-5876-6
- Horacio L. França, César Alexandre Teixeira, Nuno Laranjeiro
:
An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification. 1-12 - Yanguo Peng, Rongqiao Liu, Xiyue Gao, Luyuan Huang, Jingjing Guo, Yaofeng Tu:
SecCT: Secure and scalable count query models on encrypted genomic data. 13-22 - Mateen Malik, Maytheewat Aramrattana, Mehdi Maleki, Peter Folkesson, Behrooz Sangchoolie, Johan Karlsson:
Simulation-based Evaluation of a Remotely Operated Road Vehicle under Transmission Delays and Denial-of-Service Attacks. 23-29 - Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma:
Efficient Adversarial Input Generation via Neural Net Patching. 30-38 - José Flora
Intrusion Detection for Scalable and Elastic Microservice Applications. 39-45 - Yuki Yamaguchi, Toshiaki Aoki:
Attack Tree Analysis for Adversarial Evasion Attacks. 46-52 - Rahma Mukta, Shantanu Pal, Shailesh Mishra, Hye-Young Paik, Salil S. Kanhere, Michael Hitchens
A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information. 53-63 - Morten Konggaard Schou
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. 64-70 - Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp:
A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. 71-77 - Guangjie Li, Yan He, Yi Tang, Xiaochen Shen, Limin He:
Perceived Usability of Computer-Aided Engineering Software. 78-80 - Natsumi Watanabe, Satoshi Otsuka, Hiroyuki Yamada, Masaya Itoh, Tsunamichi Tsukidate:
Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment. 81-87 - Shuhei Horio, Kouta Takahashi, Kenichi Kourai:
SEmigrate: Optimizing Data Protection with VM Introspection. 88-98 - Andrzej Wardzinski, Aleksander Jarzebowicz
Development of the System Assurance Reference Model for Generating Modular Assurance Cases. 99-110 - Cláudio Correia, Rita Prates, Miguel Correia, Luís E. T. Rodrigues:
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. 111-122 - Omid Asghari
Lead Time Analysis for UAVs' Failure Prediction in U-space. 123-133 - Archita Ghosh, J. Lakshmi:
End-to-end Resiliency Analysis Framework for Cloud Storage Services. 134-141 - Taito Asaji, Tatsuhiro Tsuchiya:
Applying metamorphic testing to reliability calculating programs. 142-149 - Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou:
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms. 150-160 - Chao Qu, Rongqian Zhou, Ke Liu, Zhuo Yan, Haipeng Qu:
BSGAT: A Graph Attention Network for Binary Code Similarity Detection. 161-167 - Jérémie Decouchant
Liveness Checking of the HotStuff Protocol Family. 168-179 - Christian Berger, Sadok Ben Toumia, Hans P. Reiser:
Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation. 180-190 - Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li:
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. 191-197 - Daniel Andrade
I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. 198-208 - Mohammad Yusaf Azimi
AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition. 209-216 - Anamta Khan
A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. 217-227 - Weiyan Xu
Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. 228-235 - Naoki Nishiguchi, Tatsuhiro Tsuchiya:
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. 236-238 - Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton:
Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. 239-241 - Guangjie Li, Yi Tang, Yan He, Biyi Yi, Weihao Li, Qilei Zhang:
How to Attract and Retain Users for Native Newborn Version Control Systems? 242-243 - Christian Berger, Lívio Rodrigues, Hans P. Reiser, Vinicius Vielmo Cogo, Alysson Bessani:
Poster: Faster Quorums with FlashConsensus. 244-246 - Philipp Eichhammer, Hans P. Reiser:
Utilizing Similarity for Improved Intrusion Detection: Autonomous Community Formation for Practical Heterogeneity Management. 247-249 - Hailong Jiang, Shaolun Ruan, Bo Fang, Yong Wang, Qiang Guan:
Visilience: An Interactive Visualization Framework for Resilience Analysis using Control-Flow Graph. 250-256 - Yucheng Sun, Ruomu Hou, Haifeng Yu:
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains. 257-267 - Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi:
Hierarchical Dependability Modeling with Multi-State Systems. 268-277 - Kazuya Wakigami, Fumio Machida, Tuan Phung-Duc:
Reliability and Performance Evaluation of Two-input Machine Learning Systems. 278-286 - Andrei Shelopugin, Alexander Sirotkin:
Evaluating of Football Player 1v1 Abilities based on the Glicko-2 with Modifications. 287-291 - Vicar Solomon, Farah Malik:
Perspectives of Pakistani Cricketers and Coaches Regarding Coaching Competence in Relation to Performance Efficacy. 292-298 - Masoumeh Izadi, Ehsan Goodarzi, Milad Farzalizadeh, Masoud Masoumi Moghadam, Aleksey Izmailov:
Officiating Cricket Bowling Using An Event-Based Computer Vision System. 299-303 - Zhaoyu Liu, Kan Jiang, Jin Song Dong:
Sports Injury Prediction in Professional Tennis. 304-308 - Robert Seungbok Lee, Sungheum Um:
Effects of Wrist Guard Microcurrent Stimulation Therapy on Pain, Range of Motion, and Muscle Strength in Physically Active Older Women with Carpal Tunnel Syndrome. 309-313 - Erica Juliano, Chelsea Thakkar, Christopher Taber, Mehul S. Raval, Tolga Kaya, Samah Senbel:
A Dynamic Online Dashboard for Tracking the Performance of Division 1 Basketball Athletic Performance. 314-318 - Daniel Bolarinwa, Nadeem Qazi, Mustansar Ali Ghazanfar:
Shifting the Weight: Applications of AI in Olympic Weightlifting. 319-326 - Srishti Sharma, Srikrishnan Divakaran, Tolga Kaya, Christopher Taber, Mehul S. Raval:
A Framework for Biomechanical Analysis of Jump Landings for Injury Risk Assessment. 327-331 - Luke Wildman:
Probabilistic Model Checking of Handball Action Sequences. 332-336 - Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong:
Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. 337-341 - Kan Jiang, Jiayu Li, Zhaoyu Liu, Chen Dong:
Court Detection Using Masked Perspective Fields Network. 342-345 - Isuru Supasan Naotunna Andarage, Dileepa Fernando, Buddhi Avishka Lokuarachchi, Malithi Gimhani Athuluwage, Pavithra Wijewickrama:
Early Childhood Action Monitoring and Analytics System (ECAMS). 346-351 - Andrei Boiarov, Dmitry Bleklov, Pavlo Bredikhin, Nikita Koritsky, Sergey Ulasen:
RaceLens: A Machine Intelligence-Based Application for Racing Photo Analysis. 352-355 - Qixiang He, John Komar, Ying Hwa Kee:
Key considerations in the week-to-week forecasting of individual match actions in football. 356-360
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: