default search action
38th SAC 2023: Tallinn, Estonia
- Jiman Hong, Maart Lanperne, Juw Won Park, Tomás Cerný, Hossain Shahriar:
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023. ACM 2023, ISBN 978-1-4503-9517-5
Theme: Artificial Intelligence and Agents: AIED - Artificial Intelligence for Education Track
- Sameena Hossain
, Payal Kamboj
EdGCon: Auto-assigner of Iconicity Ratings Grounded by Lexical Properties to Aid in Generation of Technical Gestures. 3-10 - Hsin-Yu Lee
Image4Assess: Automatic learning processes recognition using image processing. 11-16 - Kelly M. Van Busum
Analysis of AI Models for Student Admissions: A Case Study. 17-22
Theme: Distributed Systems: CC - Cloud Computing Track
- Christian Banse
A Semantic Evidence-based Approach to Continuous Cloud Service Certification. 24-33 - Marwan Adnan Darwish
Digital Forgetting Using Key Decay. 34-41 - Atharva Tekawade
CEDCES: A Cost Effective Deadline Constrained Evolutionary Scheduler for Task Graphs in Multi-Cloud System. 42-44 - Abhay Narayan
AI Enabled Cloud Service to detect Conversion Fraud in E-commerce. 45-48 - Swapneel C. Mhatre
On the Measurement of Performance Metrics for Virtualization-Enhanced Architectures. 49-56 - Leandro Costa da Silva
COSTA: A cost-driven solution for migrating applications in multi-cloud environments. 57-63
Theme: System Software and Security: CPS - Cyber-Physical Systems Track
- Shuo Xu
RAB: Recomputation Aided Backup for Energy Efficient Non-volatile Processors. 64-71 - Liang-Chi Chen
Efficient Sanitization Design for LSM-based Key-Value Store over 3D MLC NAND Flash. 72-75 - Marco Lucchese
Towards A High-interaction Physics-aware Honeynet for Industrial Control Systems. 76-79 - Jianqiang Chen
CCFlash: A Correlation-Aware Compression Approach in Flash Memory. 80-87 - Xiurui Pan
BcBench: Exploring Throughput Processor Designs based on Blockchain Benchmarking. 88-97 - Yajuan Du
Enhancing Polar Codes Efficiency on 3D Flash Memory by Exploiting Multiple Error Variations. 98-105 - Zeno Heeb
IoMiRCA: Root cause analysis in IoT-extended 5G microservice environments. 106-108 - Thamilselvam B
Traffic Intersections as Agents: A model checking approach for analysing communicating agents. 109-118
Theme: Distributed Systems: DADS - Dependable, Adaptive, and Secure Distributed Systems Track
- Hanish Gogada
An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. 121-124 - Tommaso Puccetti
Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms. 125-134 - Cláudia Brito
SOTERIA: Preserving Privacy in Distributed Machine Learning. 135-142 - Rodrigo Silva
Deduplication vs Privacy Tradeoffs in Cloud Storage. 143-151 - Ali Raza
Proof of Swarm Based Ensemble Learning for Federated Learning Applications. 152-155 - Chih-Kai Huang
Acala: Aggregate Monitoring for Geo-Distributed Cluster Federations. 156-164 - Racin Nygaard
Cost-effective Data Upkeep in Decentralized Storage Systems. 165-173 - João Francisco
Stateful Adaptive Streams with Approximate Computing and Elastic Scaling. 174-183 - Goncalo Baptista
Defektor: An Extensible Tool for Fault Injection Campaign Management in Microservice Systems. 184-187 - Lorenzo Capra
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. 188-191 - Johannes Köstler
Fluidity: Location-Awareness in Replicated State Machines. 192-201
Theme: Distributed Systems: DAPP - Decentralized Applications with Blockchain, DLT and Crypto-Currencies Track
- Ivana Stancíková
SBvote: Scalable Self-Tallying Blockchain-Based Voting. 203-211 - Ulysse Pavloff
Ethereum Proof-of-Stake under Scrutiny. 212-221 - Kristof Jannes
DEDACS: Decentralized and dynamic access control for smart contracts in a policy-based manner. 222-230 - Michael Sober
Distributed Key Generation with Smart Contracts using zk-SNARKs. 231-240 - Jean-Marc Seigneur
NFT Trust Survey. 241-244 - Francesco Donini
RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies. 245-248 - Garry Clawson
A Technology Readiness Level for Blockchain. 249-257 - Soroush Farokhnia
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts. 258-261 - Stefano Bistarelli
Towards automated verification of Bitcoin-based decentralised applications. 262-269 - Reyhaneh Rabaninejad
PoRt: Non-Interactive Continuous Availability Proof of Replicated Storage. 270-279 - Arthur Rauch
Student Research Abstract: SplitChain: Blockchain with fully decentralized dynamic sharding resilient to fast adaptive adversaries. 280-283
Theme: Information Systems: DBDM - Databases and Big Data Management Track
- Dimitri Van Landuyt
A Comparative Performance Evaluation of Multi-Model NoSQL Databases and Polyglot Persistence. 286-293 - Ting-Yu Lin
HSMR-RAID: Enabling a Low Overhead RAID-5 System over a Host-managed Shingled Magnetic Recording Disk Array. 294-296 - Pawel Boinski
On evaluating text similarity measures for customer data deduplication. 297-300 - Dereje Regassa
EHS: An Efficient Hashing Scheme for Persistent Memory. 301-304 - Sara Zguem
NF-Log: Revisiting Log Writes in Relational Database for Efficient Persistent Memory Utilization. 305-312 - Styliani Kyrama
Exploring alternatives of Complex Event Processing execution engines in demanding cases. 313-320 - Abdullah Alhajri
OCC2T: An Early-Read Dual-Track OCC Algorithm For Mixed Mode Systems. 321-330 - Katerina Katsarou
MUTUAL: Multi-Domain Sentiment Classification via Uncertainty Sampling. 331-339
Theme: Information Systems: DM - Data Mining Track
- Thanapol Phungtua-Eng
Elastic Data Binning for Transient Pattern Analysis in Time-Domain Astrophysics. 342-349 - Daphne Lenders
Real-life Performance of Fairness Interventions - Introducing A New Benchmarking Dataset for Fair ML. 350-357 - Prawaal Sharma
A fully automated and scalable Parallel Data Augmentation for Low Resource Languages using image and text analytics. 358-361 - Victor Henrique Silva Ribeiro
Summarizing Fuzzy Tensors with Sub-Tensors. 362-364 - Ali Norouzifar
Discovering Process Models that Support Desired Behavior and Avoid Undesired Behavior. 365-368 - Loïc Cerf
Enforcement of Minimal Size and Area Constraints before and while Mining Patterns in Fuzzy Tensors. 369-376 - Chalachew Muluken Liyew
Multivariate Time Series Evapotranspiration Forecasting using Machine Learning Techniques. 377-380
Theme: Information Systems: DS - Data Streams Track
- Gabriel Jonas Aguiar
An active learning budget-based oversampling approach for partially labeled multi-class imbalanced data streams. 382-389 - Martha I. Roseberry
Aging and rejuvenating strategies for fading windows in multi-label classification on data streams. 390-397 - Óscar Castellanos-Rodríguez
Accelerating the quality control of genetic sequences through stream processing. 398-401 - Paula Raissa Silva
A DTW Approach for Complex Data A Case Study with Network Data Streams. 402-409 - Taehoon Lee
Transformer based Early Classification for Real-time Human Activity Recognition in Smart Homes. 410-417 - Afonso Lourenço
Online adaptive learning for out-of-round railway wheels detection. 418-421 - Thiago Andrade
Estimating Instantaneous Vehicle Emissions. 422-424
Theme: Artificial Intelligence and Agents: EC - Applications of Evolutionary Computing Track
- Andrea Ferigo
Quality Diversity Evolutionary Learning of Decision Trees. 425-432 - Angela Troncoso-García
Evolutionary computation to explain deep learning models for time series forecasting. 433-436 - Alfredo Cuzzocrea
Optimal Location of Charging Stations for Electric Vehicles: A Theoretically-Sound Heuristic Model. 437-440 - Manuel Jesús Jiménez-Navarro
A bioinspired ensemble approach for multi-horizon reference evapotranspiration forecasting in Portugal. 441-448
Theme: System Software and Security: EMBS - Embedded Systems Track
- Nikolaos Andriotis
A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels. 451-460 - Roger Pujol
Tracking Coherence-Related Contention Delays in Real-Time Multicore Systems. 461-470 - Jeremy Jens Giesen León
ASCOM: Affordable Sequence-aware COntention Modeling in Crossbar-based MPSoCs. 471-474 - Suman Banerjee
A Makespan and Energy-Aware Scheduling Algorithm for Workflows under Reliability Constraint on a Multiprocessor Platform. 475-482 - Tsung-Yen Wang
CAT: Context Aware Tracing for Rust Asynchronous Programs. 483-492
Theme: Distributed Systems: GIA - Geographical Information Analytics Track
- Fatma El-Zahraa El-Taher
Detecting Road Intersections from Satellite Images using Convolutional Neural Networks. 495-498 - Lilian Berton
Graph-based semi-supervised classification for similar wildfire dynamics. 499-506 - Salatiel Dantas Silva
POI types characterization based on geographic feature embeddings. 507-514 - Francesco Lettich
A general methodology for building multiple aspect trajectories. 515-517
Theme: Artificial Intelligence and Agents: GMLR - Graph Models for Learning and Recognition Track
- Fattah Muhammad Tahabi
SymptomGraph: Identifying Symptom Clusters from Narrative Clinical Notes using Graph Clustering. 518-527 - Farouk Damoun
G-HIN2Vec: Distributed heterogeneous graph representations for cardholder transactions. 528-535 - Paolo Frazzetto
Topology preserving maps as aggregations for Graph Convolutional Neural Networks. 536-543 - Waqar Ali
Quasi-CliquePool: Hierarchical Graph Pooling for Graph Classification. 544-552
Theme: Artificial Intelligence and Agents: HIBIO - Health Informatics and Bioinformatics Track
- Iñaki Amatria-Barral
Parallel construction of RNA databases for extensive lncRNA-RNA interaction prediction. 555-558 - Heithem Sliman
A Synthetic Dataset Generation for the Uveitis Pathology Based on MedWGAN Model. 559-566 - Hasan M. Jamil
Mapping Strategies for Declarative Queries over Online Heterogeneous Biological Databases for Intelligent Responses. 567-574 - Jeongho Kim
MGCMA: Multi-scale Generator with Channel-wise Mask Attention to generate Synthetic Contrast-enhanced Chest Computed Tomography. 575-584 - Hitesh Raju
Automatic Detection of Signalling Behaviour from Assistance Dogs as they Forecast the Onset of Epileptic Seizures in Humans. 585-592 - Yuning Wang
Personalized Graph Attention Network for Multivariate Time-series Change Analysis: A Case Study on Long-term Maternal Monitoring. 593-598 - Mariana-Iuliana Georgescu
Diversity-Promoting Ensemble for Medical Image Segmentation. 599-606 - Zahraa Khais Shahid
Unsupervised Forecasting and Anomaly Detection of ADLs in single-resident elderly smart homes. 607-610 - Santanu Roy
Mobile Freeze-Net with Attention-based Loss Function for Covid-19 Detection from an Imbalanced CXR Dataset. 611-613 - Cary Xiao
Patient-GAT: Sarcopenia Prediction using Multi-modal Data Fusion and Weighted Graph Attention Networks. 614-617 - Xinwei Ji
Automatic Pain Assessment with Ultra-short Electrodermal Activity Signal. 618-625 - Shafna V
An ML Model for Mental Health Monitoring using Facial Emotion Detection and Analyzing Social Media Posts. 626-628 - Bailian Sun
The Case for tinyML in Healthcare: CNNs for Real-Time On-Edge Blood Pressure Estimation. 629-638
Theme: Information Systems: IAR - Information Access and Retrieval Track
- Otto Benjamin Piramuthu
Multiple Choice Online Algorithms for Technology-Assisted Reviews. 639-645 - Claudio Lucchese
On the Effect of Low-Ranked Documents: A New Sampling Function for Selective Gradient Boosting. 646-652 - Emma Louise McDaniel
Student Research Abstract: Unsupervised Key Term Extraction of Tornado Narratives from NOAA Storm Events Database. 653-656
Theme: Distributed Systems: IE - IoT and Edge Computing Track
- Jui Mhatre
MP-DDPG: Optimal Latency-Energy Dynamic Offloading Scheme in Collaborative Cloud Networks. 658-660 - David Fernández Blanco
An Energy-efficient FaaS Edge Computing platform over IoT Nodes: Focus on Consensus Algorithm. 661-670 - Kengo Watanabe
Software Aging in a Real-Time Object Detection System on an Edge Server. 671-678 - Sangil Ha
Efficient Resource Augmentation of Resource Constrained UAVs Through EdgeCPS. 679-682 - Yuma Kokubo
Dynamic Load Balancing of RDF Reasoning in Fog-Computing Environments. 683-690 - Felipe Rubin
Reducing Power Consumption during Server Maintenance on Edge Computing Infrastructures. 691-698 - Lucas Caetano Pereira
The not-so-easy task of taking heavy-lift ML models to the edge: a performance-watt perspective. 699-706 - Alexandre Moreira Nascimento
Swapping training optimizers and tiny partial datasets to improve performance of lighter neural networks for edge devices. 707-714 - Christian Esposito
Design and Implementation of a Blockchain-based e-Voting system by using the Algorand platform. 715-723 - Geon Kim
Towards Deployment of Mobile Robot driven Preference Learning for User-State-Specific Thermal Control in A Real-World Smart Space. 724-731 - Fernando Oliveira
Student Research Abstract: A Hybrid Approach to Design Embedded Software Using JavaScript's Non-blocking Principle. 732-735
Theme: Distributed Systems: INTOP - Interoperability Track
- Jahoon Koo
Interoperable Access Control Framework for Services Demanding High Level Security among Heterogeneous IoT Platforms. 737-740 - Mersedeh Sadeghi
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options. 741-750 - Seungjoo Lee
Relation Modeling on Knowledge Graph for Interoperability in Recommender Systems. 751-758 - Muhammad Salman
WiFi-enabled Occupancy Monitoring in Smart Buildings with a Self-Adaptive Mechanism. 759-762 - Fábio Basso
Model-Driven Integration and the OSLC Standard: a Mapping of Applied Studies. 763-770
Theme: Artificial Intelligence and Agents: IRMAS - Intelligent Robotics and Multi-Agent Systems Track
- Qin Yang
A Hierarchical Game-Theoretic Decision-Making for Cooperative Multiagent Systems Under the Presence of Adversarial Agents. 773-782 - Cyril Monette
Optimising Redundancy in Distributed Sensor Networks. 783-786 - James C. Ward
An Empirical Method for Benchmarking Multi-Robot Patrol Strategies in Adversarial Environments. 787-790 - Zuyuan Zhu
Autonomous Topological Optimisation for Multi-robot Systems in Logistics. 791-799 - Pedro Silva
Low-Power Footprint Inference with a Deep Neural Network offloaded to a Service Robot through Edge Computing. 800-807 - Kehlani Fay, Michael Giordano
Multi-Robot Expansive Planning and Trajectory Evaluation for Tracking and Localization of Marine Life. 808-815 - Alessandro Trapasso
A formalization of multi-agent planning with explicit agent representation. 816-823
Theme: Artificial Intelligence and Agents: ISDE - Intelligent Systems for Digital Era Track
- Markus Bertl
Finding Indicator Diseases of Psychiatric Disorders in BigData using Clustered Association Rule Mining. 826-833 - Shuheng Cao
Improving the Quality of Public Transportation by Dynamically Adjusting the Bus Departure Time. 834-843 - Prawaal Sharma
Multimodal Semantographic Metalanguage (MSM): A novel methodology for digital enablement of semi-literates. 844-851 - Daniel Helmer
An Efficient Feature-based Method for People Counting. 852-855 - Alexandre Yukio Ichida
Modeling a Conversational Agent using BDI Framework. 856-863 - Mariia Bakhtina
On the Shift to Decentralised Identity Management in Distributed Data Exchange Systems. 864-873 - Hind Bangui
Deep-Learning based Trust Management with Self-Adaptation in the Internet of Behavior. 874-881 - Igor Bossenko
Migration from HL7 Clinical Document Architecture (CDA) to Fast Health Interoperability Resources (FHIR) in Infectious Disease Information System of Estonia. 882-885 - Pedro José Pereira
AI4CITY - An Automated Machine Learning Platform for Smart Cities. 886-889
Theme: Artificial Intelligence and Agents: KNLP - Knowledge and Natural Language Processing Track
- Tristan Luiggi
Dynamic Named Entity Recognition. 890-897 - Vijay Varma Malladi
Call Reason Prediction using Hierarchical Models. 898-901 - Michael Strobl
FREDA: Flexible Relation Extraction Data Annotation. 902-910 - Lorenzo Bongiovanni
Zero-Shot Taxonomy Mapping for Document Classification. 911-918 - Katerina Katsarou
REFORMIST: Hierarchical Attention Networks for Multi-Domain Sentiment Classification with Active Learning. 919-928 - Guillaume Lefebvre
BERTEPro : A new Sentence Embedding Framework for the Education and Professional Training domain. 929-935 - Rubén Alonso
A General and NLP-based Architecture to perform Recommendation: A Use Case for Online Job Search and Skills Acquisition. 936-938 - Liliya Makhmutova
Impact of Character n-grams Attention Scores for English and Russian News Articles Authorship Attribution. 939-941 - Asma Ameur
Arabic Aspect Category Detection for Hotel Reviews based on Data Augmentation and Classifier Chains. 942-949 - Hugo O. Sousa
A Biomedical Entity Extraction Pipeline for Oncology Health Records in Portuguese. 950-956
Theme: Information Systems: KRR - Knowledge Representation and Reasoning Track
- Loc Pham
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. 957-964 - Marco Franceschetti
Dynamic Controllability of Parameterized CSTNUs. 965-973 - Franz Baader
Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning. 974-982 - Franz Baader
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. 983-990 - Andrea Balogh
Breaking Symmetry for Knowledge Compilation. 991-994 - Odinaldo Rodrigues
Representing and Manipulating Large Sequences of Argumentation Labellings. 995-1002 - Fatima Danash
Translating FOL-theories into SROIQ-Tboxes. 1003-1006
Theme: Software Design and Development: LASD - Lean and Agile Software Development Track
- Shahraz Nasir
An Exploratory Study About Non-functional Requirements Documentation Practices in Agile Teams. 1009-1017 - Thorben Kuchel
Which Challenges Do Exist With Agile Culture in Practice? 1018-1025 - Sangharatna Godboley
Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool. 1026-1029 - Hina Saeeda
Challenges in Large-Scale Agile Software Development Projects. 1030-1037 - Przemyslaw Jatkiewicz
Differences in performance, scalability, and cost of using microservice and monolithic architecture. 1038-1041 - Jacqueline Marín
Tailoring Hybrid Software Processes in a Medium-size Software Company. 1042-1050 - Ademar França de Sousa Neto
Towards a Recommender System-based Process for Managing Risks in Scrum Projects. 1051-1059 - Leon Bein
Student Research Abstract: Why and Where Software Developers are (not) using Project Data in Agile Retrospectives. 1060-1063
Theme: Distributed Systems: MCA - Mobile Computing and Applications Track
- Shih-En Wei
Exploiting Machine-learning Prediction for Enabling Real-time Pixel-scaling Techniques in Mobile Camera Applications. 1065-1067 - Menglong Cui
CrossChat: Instant Messaging across Different Apps on Mobile Devices. 1068-1077 - Shakthi Yasas Weerasinghe
Adaptive Context Caching for Efficient Distributed Context Management Systems. 1078-1087
Theme: Artificial Intelligence and Agents: MLA - Machine Learning and its Applications Track
- Nayara Cristina da Silva
Prediction of readmissions in hospitalized children and adolescents by machine learning. 1088-1091 - Hyunsoo Ha
Robust DeepFake Detection Method based on Ensemble of ViT and CNN. 1092-1095 - Arkadipta De
ComplAI: Framework for Multi-factor Assessment of Black-Box Supervised Machine Learning Models. 1096-1099 - Kanghyeon Seo
Exploring Candlesticks and Multi-Time Windows for Forecasting Stock-Index Movements. 1100-1109 - Derek Sloan
Estimating Phenotypic Characteristics of Tuberculosis Bacteria. 1110-1113 - Shubham Malaviya
FedFAME: A Data Augmentation Free Framework based on Model Contrastive Learning for Federated Semi-Supervised Learning. 1114-1121 - Lilian Berton
Analysis of active semi-supervised learning. 1122-1129 - Geunsu Kim
S-ViT: Sparse Vision Transformer for Accurate Face Recognition. 1130-1138 - Annika Lindh
Show, Prefer and Tell: Incorporating User Preferences into Image Captioning. 1139-1142 - Darya Forouzanfar
Finite Multivariate McDonald's Beta Mixture Model Learning Approach in Medical Applications. 1143-1150 - Jonah Edmonds
IMG-NILM: A Deep learning NILM approach using energy heatmaps. 1151-1153 - Mateusz Gniewkowski
Sec2vec: Anomaly Detection in HTTP Traffic and Malicious URLs. 1154-1162 - André Hallwas Ribeiro Alves
Semi-Supervised Hybrid Predictive Bi-Clustering Trees for Drug-Target Interaction Prediction. 1163-1170 - Ben Crulis
Are alternatives to backpropagation useful for training Binary Neural Networks? An experimental study in image classification. 1171-1178 - Chi-Sheng Shih
SLResNet: Neural-Network-Based End-to-End Structure Light 3D Reconstruction for Endoscope. 1179-1188 - Thomaz Pereira Da Silva Junior
Machine Learning Applied on Hydraulic Actuator Control. 1189-1196 - Haseeb Nazki
MultiPathGAN: Structure Preserving Stain Normalization using Unsupervised Multi-domain Adversarial Network with Perception Loss. 1197-1204 - Hae Sung Park
Convolutional Method for Modeling Video Temporal Context Effectively in Transformer. 1205-1208 - Juan Marcelo Parra Ullauri
Federated Hyperparameter Optimisation with Flower and Optuna. 1209-1216 - Md Rayhan Kabir
Classification by Frequent Association Rules. 1217-1220 - Aming Wu
MAFD: A Federated Distillation Approach with Multi-head Attention for Recommendation Tasks. 1221-1224 - Mingue Song
Discrete Wavelet Coefficient-based Embeddable Branch for Ultrasound Breast Masses Classification. 1225-1232 - Min Su Park
ACL TA-DA: A Dataset for Text Summarization and Generation. 1233-1239 - Chan Sik Han
Gradient-based Counterfactual Generation for Sparse and Diverse Counterfactual Explanations. 1240-1247 - Giljun Lee
Rotated-DETR: an End-to-End Transformer-based Oriented Object Detector for Aerial Images. 1248-1255 - Reza Hassanpour
Adaptive Feature Selection Using an Autoencoder and Classifier: Applied to a Radiomics Case. 1256-1259 - Zhumakhan Nazir
Interpretable ML enhanced CNN Performance Analysis of cuBLAS, cuDNN and TensorRT. 1260-1265
Theme: Distributed Systems: NET - Networking Track
- Roy Friedman
PKache: A Generic Framework for Data Plane Caching. 1268-1276 - Vytautas Tumas
Topology Analysis of the XRP Ledger. 1277-1284 - Ana Rodrigues
Time-limited Bloom Filter. 1285-1288 - Sijia Tian
A Lightweight Authentication and Privacy Preservation Scheme for MQTT. 1289-1292
Theme: System Software and Security: OS - Operating Systems Track
- Mana Senuki
Nioh-PT: Virtual I/O Filtering for Agile Protection against Vulnerability Windows. 1293-1300 - Haegeon Jeong
Hot-patching Platform for Executable and Linkable Format Binary Application for System Resilience. 1301-1304 - Taejoon Song
Comparative Study on Fuchsia and Linux Device Driver Architecture. 1305-1308 - Jinhoon Lee
MFence: Defending Against Memory Access Interference in a Disaggregated Cloud Memory Platform. 1309-1317 - Jaeseop Kim
An Efficient Profiling Tool for Baseboard Management Controllers. 1318-1324 - Ajung Kim
Hibernation Execution Interval based Hybrid Boot for Baseboard Management Controllers. 1325-1331 - Jiwoong Won
Spidermine: Low Overhead User-Level Prefetching. 1332-1341 - Jinyong Ha
zCeph: Achieving High Performance On Storage System Using Small Zoned ZNS SSD. 1342-1351
Theme: System Software and Security: PDP - Privacy by Design in Practice Track
- Lucas Dalle Rocha
Privacy Compliance in Software Development: A Guide to Implementing the LGPD Principles. 1352-1361 - Shirlei Aparecida de Chaves
Privacy by Design in Software Engineering: An update of a Systematic Mapping Study. 1362-1369
Theme: System Software and Security: PL - Programming Languages Track
- Elton M. Cardoso
Type-based Termination Analysis for Parsing Expression Grammars. 1372-1379 - Darine Rammal
Synchronous cooperative threading model in MSSL. 1380-1383 - Wanhong Huang
Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm. 1384-1393 - Marco Giunti
Anticipation of Method Execution in Mixed Consistency Systems. 1394-1401
Theme: Software Design and Development: RE - Requirements Engineering Track
- Sangeeta Dey
A Multi-layered Collaborative Framework for Evidence-driven Data Requirements Engineering for Machine Learning-based Safety-critical Systems. 1404-1413 - María Isabel Limaylla Lunarejo
Towards a FAIR Dataset for non-functional requirements. 1414-1421 - Samedi Heng
Building User Stories and Behavior Driven Development Scenarios with a Strict Set of Concepts: Ontology, Benefits and Primary Validation. 1422-1429
Theme: Software Design and Development: SATTA - Software Architecture: Theory, Technology, and Applications Track
- Sebastian Herold
Using Automatically Recommended Seed Mappings for Machine Learning-Based Code-to-Architecture Mappers. 1432-1439 - Ana Petrovska
A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications. 1440-1449 - Stef Verreydt
Expressive and Systematic Risk Assessments with Instance-Centric Threat Models. 1450-1457
Theme: Software Design and Development: SE - Software Engineering Track
- Xhevahire Tërnava
Specialization of Run-time Configuration Space at Compile-time: An Exploratory Study. 1459-1468 - Dominik Arne Rebro
Source Code Metrics for Software Defects Prediction. 1469-1472 - Monica Buitrago
Deriving metrics for software architectures from the "protected entry points" security patterns. 1473-1475 - Mikael Ebrahimi Salari
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator. 1476-1485 - Hao Xu
Optimization of the Product Configuration System of Renault. 1486-1489 - Barbora Buhnova
Survey on Trust in Software Engineering for Autonomous Dynamic Ecosystems. 1490-1497 - Daniel Silva
Applying Gamification to Prioritize Requirements in Agile Projects. 1498-1507 - Jisung Kim
MCRepair: Multi-Chunk Program Repair via Patch Optimization with Buggy Block. 1508-1515 - Mahyar Tourchi Moghaddam
A Performant and Secure Single Sign-On System Using Microservices. 1516-1519
Theme: System Software and Security: SEC - Computer Security Track
- Charlie Groh
Free Willy: Prune System Calls to Enhance Software Security. 1522-1529 - Konrad Hohentanner
CryptSan: Leveraging ARM Pointer Authentication for Memory Safety in C/C++. 1530-1539 - Andrea Venturi
ARGANIDS: a novel Network Intrusion Detection System based on adversarially Regularized Graph Autoencoder. 1540-1548 - Huda Ali Alatwi
Realism versus Performance for Adversarial Examples Against DL-based NIDS. 1549-1557 - Gaël Marcadet
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol. 1558-1565 - Valence Cristiani
The EVIL Machine: Encode, Visualize and Interpret the Leakage. 1566-1575 - Thomas Haines
Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. 1576-1584 - Frédéric A. Hayek
Generic Privacy Preserving Private Permissioned Blockchains. 1585-1592
Theme: Information Systems: SONAMA - Social Network and Media Analysis Track
- Junhee Lee
A Cross-Domain Aspect-Based Sentiment Classification by Masking the Domain-Specific Words. 1595-1602 - Jamie Knott
Cyber Security and Online Safety Education for Schools in the UK: Looking through the Lens of Twitter Data. 1603-1606 - Tra My Nguyen
SocioPedia: Visualizing Social Knowledge over Time. 1607-1614 - Teruki Nakahara
Personalized Prediction of Offensive News Comments by Considering the Characteristics of Commenters. 1615-1622 - Arpan Dam
Topic Aware Influential Member Detection in Meetup. 1623-1632 - Prabir Mondal
Graph Convolutional Neural Network for Multimodal Movie Recommendation. 1633-1640 - Yeonjung Lee
Detecting and Measuring the Polarization Effects of Adversarial Botnets on Twitter. 1641-1649
Theme: System Software and Security: SP - Software Platforms Track
- Arne Koschel
Comparing Modern Build Automation Tools for an Insurance Company. 1650-1655 - Jeongtaek Lim
Hierarchical Platform Design for the Comprehensive Test and Validation of Future Power Device using DT, RTDS, and PHILS. 1656-1658 - Minho Kim
Optimal Charging Method for Effective Li-ion Battery Life Extension Based on Reinforcement Learning. 1659-1661 - Sumin Lee
Detecting Suspicious Conditional Statement using App Execution Log. 1662-1668 - In-Pyo Hong
Security Verification Software Platform of Data-efficient Image Transformer Based on Fast Gradient Sign Method. 1669-1672
Theme: Software Design and Development: SVT - Software Verification and Testing Track
- Thibaut Benjamin
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates. 1673-1680 - Kevin H. J. Jilissen
A formal analysis of Dutch Generic Integral Tunnel Design models. 1681-1684 - Mikhail Semenyuk
Ownership-Based Owicki-Gries Reasoning. 1685-1694 - Matthias Güdemann
BlueCov: Integrating Test Coverage and Model Checking with JBMC. 1695-1697 - Andrea Bombarda
Multi-thread Combinatorial Test Generation with SMT solvers. 1698-1705 - Nicolas Berthier
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. 1706-1715 - Nicky Williams
Exhaustive Branch Coverage with TreeFrog. 1716-1723
Theme: Software Design and Development: SWA - Semantic Web and Applications Track
- Loris Bozzato
Ontology-Mediated Data Migration: Deriving Migration Rules by Reasoning on Schema Descriptions. 1724-1731 - Amal Guittoum
Inferring Threatening IoT Dependencies using Semantic Digital Twins Toward Collaborative IoT Device Management. 1732-1741 - Gal Engelberg
An Ontology-Driven Approach for Process-Aware Risk Propagation. 1742-1745 - Ahmad Zainul Ihsan
DISO: A Domain Ontology for Modeling Dislocations in Crystalline Materials. 1746-1753 - Shi-Jun Luo
Automatic Extraction of Effective Relations in Knowledge Graph for a Recommendation Explanation System. 1754-1761 - Federica Rollo
CEM: an Ontology for Crime Events in Newspaper Articles. 1762-1765
Theme: Distributed Systems: WCN - Wireless Communications and Networking Track
- Ayesha Siddiqa
Scalable Simultaneous Connectivity with Multiple APs and Virtual UEs in CF-Networks. 1766-1771 - Ernesto Quevedo Caballero
Fairness Analysis of Deep Reinforcement Learning based Multi-Path QUIC Scheduling. 1772-1781 - Sanjay Kumar
An Efficient Dual Encryption of IoMT data Using Lightweight Security Scheme for Cloud Based IoT Environment. 1782-1788 - Bruno Ribeiro
Machine Learning for VRUs accidents prediction using V2X data. 1789-1791 - Ivanilson França Vieira Júnior
Towards the support of Industrial IoT applications with TSCH. 1792-1798
Theme: Software Design and Development: WE - Web Engineering Track
- Stan Hennekes
Weighted Neural Collaborative Filtering: Deep Implicit Recommendation with Weighted Positive and Negative Feedback. 1799-1808 - Eduardo Mosqueira-Rey
Usability Heuristics and Guidelines for RESTful APIs and Application to a Case Study. 1809-1812 - Aiden Bai
Million.js: A Fast Compiler-Augmented Virtual DOM for the Web. 1813-1820 - Giuseppe Loseto
Semantic-based Adaptation of Quality of Experience in Web Multimedia Streams. 1821-1830 - Jiwoong Won
Proxy-based Web Prefetching Exploiting Long Short-Term Memory. 1831-1834
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-12-26 00:58 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: