yusuke1997/dblp-id-title huggingface dataset:
Formal Analysis of the i KP Electronic Payment Protocols
Java Program Verification at Nijmegen: Developments and Perspective
Negotiated Privacy: (Extended Abstract)
Security for Whom?: The Shifting Security Assumptions of Pervasive Computing
Environmental Requirements for Authentication Protocols
Decision Procedures for Several Properties of Reactive System Specifications
Data Access Specification and the Most Powerful Symbolic Attacker in MSR
SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation
Formal Specification and Verification of Resource Bound Security Using PVS
Securing RPC with a Reference Monitor for System Calls
A Survey of Peer-to-Peer Security Issues
UML Scrapbook and Realization of Snapshot Programming Environment
Formal Analysis of the NetBill Electronic Commerce Protocol
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers
Hiding Names: Private Authentication in the Applied Pi Calculus
Typing One-to-One and One-to-Many Correspondences in Security Protocols
Verifying Confidentiality and Authentication in Kerberos 5
Active Authentication for Pervasive Computing Environments
Lightweight Wrappers for Interfacing with Binary Code in CCured
Formalization and Verification of a Mail Server in Coq
Proceedings of the International Conference on Multimedia Networking, MmNet 1995, Aizu, Japan, September 26-29, 1995
Quality of Service Verification Experiments
Adaptive Applications - Reality or Myth? (Panel)
Quality of Service Mapping in Distributed Multimedia Systems (Invited Paper)
A Distributed Object-Oriented Approach for Representing and Implementing Dynamic Anchors
Rattlesnake - A Single Chip High-Performance ATM Switch
Helicon - A Distributed Multimedia Framework (Abstract)
Multimedia Communication Service Architecture in Public Networks
Introducing Multimedia Synchronization into the World-Wide Web
Application Sharing Based on Bitmap Exchange
Multicast and Broadcast in the Rattlesnake ATM Switch
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation
The Use of Multimedia Technology in Distance Learning
A Negotiation Model for Distributed Multimedia Applications
Multimedia in the Age of PCS (Invited Paper)
A True Concurrency Semantics for Quality of Service Specification and Validation
Distributed Textile Image Database System by Kansei Information Processing
Adaptive Applications and QoS Guaranties (Invited Paper)
A Real-Time Coordinated Interactive Multimedia Network Architecture - A Flexible Office Automation and Flexible Manufacturing Viewpoint (Invited Paper)
Communication of Multimedia Information among Adaptive Agents in Distributed Environment
QoS Guarantees for Shaped Bit Rate Video Connections in Broadband Networks
Quality of Service Mapping in Distributed Multimedia Systems
Fast Higher Bandwidth X
Multimedia Information Gathering Based on a Society of Cooperative Agents
Framework with Scalable Error Control for Reliable Multipoint Services in ATM Networks
Using Soft Real-time Scheduling Schemes to Support Continuous Media
Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor
Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, KISV 2024, Austin, TX, USA, November 3-6, 2024
Veld: Verified Linux Drivers
Atmosphere: Towards Practical Verified Kernels in Rust
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, KISV 2023, Koblenz, Germany, 23 October 2023
Specifying the de-facto OS of a production SoC
Leveraging Rust for Lightweight OS Correctness
The K2 Architecture for Trustworthy Hardware Security Modules
Robust and Immediate Resource Reclamation with M3
CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces
Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems
Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems
Deep Learning-Based Models for Classification of Invasive Plant Species from Hyperspectral Remotely Sensed Data
The Machine learning Technique used in a Study of Water Quality & Water Level estimation Using Remote Sensing & GIS: A Review
DSMLAI '21: International Conference on Data Science, Machine Learning and Artificial Intelligence, Windhoek Namibia, August 9 - 12, 2021
Feature Selection: Filter Methods for Classification of Indian Musical Instruments
ORR: Optimized Round Robin CPU Scheduling Algorithm
Citrus Fruits Diseases Detection and Classification Using Transfer Learning
Honeypot Behaviour Patterns Learning for Mass Email Marketing Detection
Implementation of Blockchain Enabled Healthcare System using Hyperledger Fabric
Storing and Securing the Digital Evidence in the Process of Digital Forensics through Blockchain Technology
Does Code Complexity Affect the Quality of Real-Time Projects?: Detection of Code Smell on Software Projects using Machine Learning Algorithms
Modelling and Simulation of Cloud Service Cost Analysis using Resource Scheduling
Deep Learning Driven System to Analyze Reliability of COVID Infodemic and News Articles
Career Counseling Chatbot on Facebook Messenger using AI
Applying GA-SVM for Optimizing Statistical and Semantic Features in Document Classification
A Survey of Streaming Protocols for Video Transmission
QoS-Attentive Learning-based Routing for Scalable WSNs
Seeds Classification and Quality Testing Using Deep Learning and YOLO v5
A Bibliometric and Co-occurrence Analysis of Speech Processing Literature Published from the Year 2015 to mid of June 2021
Machine Intelligence for Predicting New Start-ups Success: A Survey
An Intrusion Prevention System embedded AODV to protect Mobile Adhoc Network against Sybil Attack
Performance Comparison of Network Intrusion Detection System Based on Different Pre-processing Methods and Deep Neural Network
Rule Based Question Generation for Arabic Text: Question Answering System
A Review and Comparative Study on Surface Vehicle Path Planning Algorithm
Deep Learning-Based Tool for Automatic Feature Marking, Cropping, Visualization, and Classification of Chest Radiographs
A Machine Learning Approach for Sentiment Analysis to Nurture Mental Health Amidst COVID-19
Early Detection of Rheumatoid Arthritis in Knee using Deep Learning
Technical Note on Computing and Fourth Industrial Revolution (C&4IR): Shaping the Future
Deep Learning Technique for Image Colorization
Alzheimer's Disease: Symptoms, Causes and Computer Science Applications as Help Guides
An Optimized VM Placement Approach to Reduce Energy Consumption in Green Cloud Computing
Hyperspectral Image Classification using Machine Learning
Leveraging LSTM-RNN combined with SVM for Network Intrusion Detection
A Review of Deep Learning IDS for DDoS Attacks in WLANs
Real-Time Face Detection and Recognition on Raspberry Pi using LBP and Deep Learning
Object Detection using Deep Learning: A Review
Object Detection and Classification Using Machine Learning Techniques: A Comparison of Haar Cascades and Neural Networks
Use of Regression Models in the Analysis of Climatic Variables: A Case Study over the Aurangabad Region of Marathwada (Maharashtra, India)
Analysis of Various Diabetic Prediction Methods of Machine Learning
Application Specific Instrumentation (ASIN): A Bio-inspired Paradigm to Instrumentation by fusing sensors and AI (SensAI)
Handwritten Character Recognition using Deep Neural Networks
Keyphrase Extraction using Markov Decision Process from Social Media Data
Attendance System with Emotion Detection: A case study with CNN and OpenCV
Graduates' Prediction System Using Artificial Intelligence
Segmentation of Brain Tumor using Deep Learning Methods: A Review
A Comparative Analysis with the Hybrid Algorithm Approach for Sentimental Analysis through Machine Learning
The Role of Internet of Things (IoT) to Fight against Covid-19
Machine learning analysis of queues with MAP, Reneging, Phase Type services, vacations and repairs
Correlation of Sentiment Analysis between Tweets and Newspaper Headlines Using NLP
Automatic Generation of Chest X-Ray Medical Imaging Reports using LSTM-CNN
Data Analytics for Quality-of-Life Monitoring and Control in the Era of Covid-19 Pandemic
Resolving Anaphora using Gender and Number Agreement in Marathi text
Millimetre-Wave Human Image Dangerous Object Detection Based on Faster R-CNN
Efficient Feature Extraction Model for Surveillance Systems Using Drone Imagery
Duplicate Data Elimination Optimization Strategy Based on Edge Service Management
Network Intrusion Detection Algorithm Based on LightGBM Model and Improved Particle Swarm Optimization
Fuzzy Logic-Based Deep Reinforcement Learning Pre-Training: A Case Study in MEC Task Offloading
NCAA Bracket Prediction Uing Machine Learning and Combinatorial Fusion Analysis
Advanced Evaluation of Propagation Models and Routing Protocols in Vehicular Ad-Hoc Networks
3-DoF Pose Estimation of Vehicles on the Road
Attack Path Extraction based on VGAE and DBSCAN
Detection of Smoking Behaviors Using Human Key Points and YOLOv8
A Two-Stage Depression Recognition Model Based on Improved YOLOv5 and Spatial-Temporal CNN-Transformer Network
Analysis of Business Model of Co-Creation Digital-Twin City Using Evolutionary Game
2024 IEEE Cyber Science and Technology Congress (CyberSciTech), Boracay Island, Philippines, November 5-8, 2024
Energy-Efficient Reliable Data Storage Service in Heterogeneous Crowdsensing
CDPP: A Crowdsensing Task Allocation Method Based on Diverse Participant Preferences
IoT Intrusion Detection Using SDN Cloud-Edge Collaboration and Ensemble Deep Learning
Privacy-Preserving Parameter Aggregation Scheme Based on Two Leaders for Federated Learning
Chinese Named Entity Recognition in Industry Domain Based on Lexical Enhancement
Bandwidth-Adaptive Semantic Communication System with Non-ROI Image Compression
Money Adjustment Among ISPs Based on Cooperative Games for ICN Promotion
Paradigm Shift in Foreign Language Teaching Practices in the Age of AI - Case Studies of Chinese and Japanese Learners
Model Uncertainty Based Unsupervised Real-Time Drift Detection in Network Traffic Classification
Towards Green Video: Energy-Saving Potentials in Streaming
Fake News Detection Based on Contrast Learning and Cascading Attention
Analyzing the Imitation Behaviors of Gorilla Chest-Beating Based on Human Pose Estimation
Challenges and Emerging Issues for Generative AI and Hyper Intelligence
Leveraging ECG Signal for People Identification under Different Emotion States
Deep Knowledge Tracking Model Integrating Multiple Feature Personalization Factors
Detecting Characteristic Points in Breathing Cycles Using FMCW Radar with Spirometer as Reference
Model Extraction Attacks on Text-to-Image Generative Adversarial Networks
Addressee Selection for Multi-Party Conversations in Cyber-Physical-Social Systems
Improving the Visual Quality of Adversarial Examples for Face Recognition Models
DMCGF Dehazing Neural Network Design for Edge-AI Implementation
A New Smart Glasses-Based Dual Authentication System via Signature Image Recognition Handwriting Behaviors Identification
Improved Multi-Objective Simulated Annealing Particle Swarm Algorithm for Siting and Capacity Sizing of Distributed Power Supplies
Assessing ChatG PT -Generated Comments for Video Content Viewing in Online Learning
Range Proof-Based Noise Filtering Mechanism for loT Differential Privacy
A Study on Adaptive Gradient Clipping Algorithms for Differential Privacy: Enhancing Cyber Security and Trust
Integrated Evaluation System for Intelligent Model
Traffic Prediction by Integrating Multi-Cycle Features and Spatio-Temporal Correlations
A PSO-CNN-BiLSTM Model for Predicting Leaf Area Index
Cross-Layer Performance Analysis of Delay-Doppler Domain Multi-Carrier Modulation for Vehicular Networks
Review of Collaborative Inference in Edge Intelligence: Emphasis on DNN Partition
Integrated Sensing and Communication for UAV Detection: A Reinforcement Learning-based Approach
Evacuation Guidance System Using UAVs of Multiple Types at Disaster
Checking the Neural Networks' Subitizing Ability and Proposing Three Challenges for Human-Like Subitizing
Voltage Prediction of Electric Vehicle Based on Attention Mechanism CNN-GRU Model
SA-PSO Approach for Optimizing QoS Management in SDN Service Chains
SarlBFT: Scalable Tree Communication Pattern BFT Protocol
Intelligent Task Offloading in IoT-Driven Digital Twin Systems via Hybrid Federated and Reinforcement Learning
Deadlock Analysis of Microservice Systems with Bounded Buffers
Optimized Block-K Clustering IoT Clustering and Blockchain Sharding Strategy Using Deep Reinforcement Learning
Internet Security and Privacy Awareness Among College Students in the Philippines
Private Comparison Based on Digital Decomposition for IoT Cloud Environments
Impacts of Internet of Things (IoT) Leveraging Radio Frequency Identification (RFID) and Internet Protocol (IP) on Business Continuity (BC) and Disaster Recovery (DR)
Delay-Tolerant Computation Offloading in Vehicular Networks Based on Local Blockchain
Leveraging Digital Twins and Generative AI for Effective Urban Mobility Management
Analyzing the Impact of Effect Sounds on Real-World Human Emotions and Behaviors by Adding Effect Sounds to Human Actions
Research on Virtual Resource Scheduling Algorithm Based on Multi-Objective Optimization
DORAC: Dynamic-Objects Removal and Clustering for Object Detection
Descriptor Feature Map for Classification
STFormer: Spatio- Temporal Transformer Network for Traffic Flow Prediction
Improved YOLOv5 for Pavement Patch Detection Using Deformable Convolution and Bidirectional Feature Pyramid Network
uSkin Pillow: Tactile-Sensor-Based Non-Invasive Approach to Sleep Analysis
Low-Frequency Injection for Performance Boosting of Image Classification
An Approach to Detecting Reentrancy Vulnerabilities in Interacting Smart Contracts Using Model Checking
Motion Deblurring by Fusing Multi-Stage Image Features
Bio-SSI: Self-Sovereign Identity Bound to Biometrics
Stealthy Adversarial Patch for Evading Object Detectors Based on Sensitivity Maps
FaceGuard: Enhancing Data Privacy Through Selective Facial Anonymization in Public Events
Node Betweenness Centrality based Defense Strategy Against Topology Inference Threat: A Static Game Theoretical Perspective
An Automated Memory Image Forensic Scheme for Linux Systems Based on Containerization Technology
Investigating Decentralized Management of Wearable Device Data for Health
Lightweight IoT-Oriented Verifiable Computing Scheme in Cloud Computing Circumstance
Fine-Grained Access Control for Lightweight Data Sharing of UAVs
Autonomous Decision-Making in Roundabouts Using Deep Reinforcement Learning and Heuristics Rules
Unsupervised Anomaly Behavior Detection in Power Information Network Based on Discriminative Semantic Transformation Sequences
A Privacy-Preserving Across-Institution Archives Utilization Framework and Implementation
Improving Example Quality in Black Box Hard Label Text Adversarial Attacks
EvoResUNet: A Lesion Segmentation Network for Primary Liver Cancer from 3D CECT Volume
Sequence-Integrated Radiology Report Generation Leveraging Positional Encoding for Text and Images
Enhancing Adversarial Patch Effectiveness for Face Recognition Systems Using Sharpness-Aware Minimization
A Graph Neural Network with Imbalance-Aware Mechanism for Enhanced Fraud Detection
Adversarial Evaluation of AI-Based Security Alert Screening Systems
Analyzing Eye-Movements of Drivers with Varying Levels of Experience During U-Turn Segment
Short-Term Solar Irradiance Forecasting Based on CNNiTransformer Model
Pavement Crack Detection Based on Channel Attention Mechanism
A Trust Evaluation and Concept Drift-Based Approach for Dynamic APT Evasion Detection
Age of Information Dependent Grant-Free Communication
Pattern detector: fast detection of suspicious stream patterns for immediate reaction
Support for Data- and Knowledge-Based Applications - Introduction by the Session Chairman
Large Scale Sentiment Analysis on Twitter with Spark
Iterative Estimation of Mutual Information with Error Bounds
Information System Design: An Expert System Approach
GRAIL: Graph Retrieval-Augmented In-Context Learning for Node Classification in Real-World Textual-Attributed Graphs
Retrieving meaningful relaxed tightest fragments for XML keyword search
Bipartite Graph Matching Algorithms for Clean-Clean Entity Resolution: An Empirical Evaluation
Stream schema: providing and exploiting static metadata for data stream processing
PRISMA: A Privacy-Preserving Schema Matcher using Functional Dependencies
Multi-Criteria Optimal Location Query with Overlapping Voronoi Diagrams
Dynamic Query Optimization and Query Processing in Multidatabase Systems
A Learning Based Approach to Predict Shortest-Path Distances
iPark: identifying parking spaces from trajectories
Retrieval of Complex Objects
Efficient Query Evaluation over Compressed XML Data
Efficient Dissemination of Emergency Information using a Social Network
Explainable AI through Rule-based Interactive Conversation
Adaptable Processing of Large Data Sets in Distributed Environments
Polystore Query Rewriting: The Challenges of Variety
A Medical Question Answering System with NLP and graph database
Corroborating Facts from Affirmative Statements
CLUDE: An Efficient Algorithm for LU Decomposition Over a Sequence of Evolving Graphs
Schemas for Telling Stories in Medical Records
Database researchers: plumbers or thinkers?
Exploration and Analysis of Temporal Property Graphs
Towards Human-centric AutoML via Logic and Argumentation
EDBT 2010, 13th International Conference on Extending Database Technology, Lausanne, Switzerland, March 22-26, 2010, Proceedings
Graph Queries: Generation, Evaluation and Learning (Invited Talk)
Synchronous Multi-GPU Training for Deep Learning with Low-Precision Communications: An Empirical Study
Finding Data Broadness Via Generalized Nearest Neighbors
Deep Spatio-Temporal Encoding: Achieving Higher Accuracy by Aligning with External Real-World Data
A query optimization assistant for XPath
Visualizing Dependencies during Incremental Discovery Processes
Hierarchical Declustering Schemes for Range Queries
Extreme Classification of European Union Law Documents Driven by Entity Embeddings
Using Convolution to Mine Obscure Periodic Patterns in One Pass
A novel approach for efficient supergraph query processing on graph databases
Looking for the Best Historical Window for Assessing Semantic Similarity Using Human Literature
Sabrina-RT, A Distributed DBMS for Telecommunications
True language-level SQL debugging
A Parallel and Scalable Processor for JSON Data
Online Set Selection with Fairness and Diversity Constraints
In Time Recommendations through an Associative Classifier and LookBackApriori: a Case Study
Optimizing query rewriting in ontology-based data access
Collaborative Scoping: Self-Supervised Linkability Assessment for Schema Matching
Data challenges at Yahoo!
Expressive query specification through form customization
Type-aware Web-search
Towards a Holistic Data Preparation Tool
User-guided Repairing of Inconsistent Knowledge Bases
MC SE : a multimedia context-based security engine
"Please, Vadalog, tell me why": Interactive Explanation of Datalog-based Reasoning
Towards Hybrid Graphs: Unifying Property Graphs and Time Series
A Framework for Efficient Storage Security in RDBMS
Conversational Question Answering Using a Shift of Context
Exact and Approximate Algorithms for Finding k-Shortest Paths with Limited Overlap
A Supervised Skyline-Based Algorithm for Spatial Entity Linkage
Linked data classification: a feature-based approach
Efficient identification of starters and followers in social media
Privacy Protection through Query Rewriting in Smart Environments
Entity discovery and annotation in tables
Towards integrated and efficient scientific sensor data processing: a database approach
OCB: A Generic Benchmark to Evaluate the Performances of Object-Oriented Database Systems
Advances in Database Technology - EDBT 2004, 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004, Proceedings
Communication-Efficient Distributed Deep Learning via Federated Dynamic Averaging
TaC: An Anti-Caching Key-Value Store on Heterogeneous Memory Architectures
The Data Cyclotron query processing scheme
Why go logarithmic if we can go linear?: Towards effective distinct counting of search traffic
Fairness in Online Jobs: A Case Study on TaskRabbit and Google
Composition of Mining Contexts for Efficient Extraction of Association Rules
Supporting Temporal Slicing in XML Databases
Demonstrating Transfer-Efficient Sample Maintenance on Graphics Cards
Context-Dependent Quality-Aware Source Selection for Live Queries on Linked Data
Subsumption between Queries to Object-Oriented Databases
BB-Tree: A practical and efficient main-memory index structure for multidimensional workloads
DreamShot: Teaching Cinema Shots to Latent Diffusion Models
A simplified Architecture for Fast, Adaptive Compilation and Execution of SQL Queries
SlickDeque: High Throughput and Low Latency Incremental Sliding-Window Aggregation
Dynamic diversification of continuous data
MRbox: Simplifying Working with Remote Heterogeneous Analytics and Storage Services via Localised Views
A Framework to Evaluate Early Time-Series Classification Algorithms
Optimizing Monitoring Queries over Distributed Data
Cost Estimation of Spatial k-Nearest-Neighbor Operators
Exploratory Search in Databases and the Web
The DisC Diversity Model
TAGs: scalable threshold-based algorithms for proximity computation in graphs
Tagger: A Tool for the Discovery of Tagged Unions in JSON Schema Extraction
A tool for mapping discovery over revealing schemas
WePIGE: The WebLab Provenance Information Generator and Explorer
Towards Planning of Regular Queries with Memory
Context-Matching in Mobility Trajectories Using Particle Filters
CISC: clustered image search by conceptualization
MCSS: A Model for Car-Sharing System
Graph Search of Software Models Using Multidimensional Scaling
What we talk about when we talk about graphs
A methodology for preference-based personalization of contextual data
Peak power plays in database engines
A Bayesian approach for on-line max and min auditing
Demonstration of Link Traversal SPARQL Query Processing over the Decentralized Solid Environment
Physical Design Refinement: The "Merge-Reduce" Approach
Hybrid Multidimensional Design for Heterogeneous Data Supported by Ontological Analysis: an Application Case in the Brazilian Electric System Operation
An Homophily-based Approach for Fast Post Recommendation on Twitter
Financial Data Exchange with Statistical Confidentiality: A Reasoning-based Approach
Generative Adversarial Network-Based Approach to Scientific Time Series Analysis
Fast and accurate computation of equi-depth histograms over data streams
A desktop interface over distributed document repositories
PMAX: tenant placement in multitenant databases for profit maximization
Message from the EDBT Workshops Chairs
Metric-Based Top-k Dominating Queries
Towards A General SIMD Concurrent Approach to Accelerating Integer Compression Algorithms
SAHARA: Memory Footprint Reduction of Cloud Databases with Automated Table Partitioning
Privacy Risk in Anonymized Heterogeneous Information Networks
Road crash proneness prediction using data mining
A Parallel and Distributed Approach for Diversified Top-k Best Region Search
Spatial Distributions Server Based on Linear Quadtree
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes
Updating outsourced anatomized private databases
In-memory Incremental Maintenance of Provenance Sketches
A Multi-Threaded Architecture for Prefetching in Object Bases
Extending the Functional Data Model to Computational Completeness
Interval Count Semi-Joins
Differentially-Private Publication of Origin-Destination Matrices with Intermediate Stops
Maritime data integration and analysis: recent progress and research challenges
Robustness in automatic physical database design
A Probabilistic Framework for Estimating Pairwise Distances Through Crowdsourcing
Liquid Benchmarking: A Platform for Democratizing the Performance Evaluation Process
Load balancing for Key Value Data Stores
Building a PDMS infrastructure for XML data sharing with SUNRISE