yusuke1997/dblp-id-title huggingface dataset:
Optimizing Component-Based Embedded Software
Fault-tolerant concurrent branch and bound algorithms derived from program verification
PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications
An Intermediate Language for Semantic Exceptions in Context-Aware Systems
Web Server Protection against Application Layer DDoS Attacks Using Machine Learning and Traffic Authentication
Evaluation of Transformer-Based Encoder on Conditional Graph Generation
Design and Implementation of a Voice Interactive Tool to Facilitate Web Collaboration
An Adaptive Learning Model for k-Anonymity Location Privacy Protection
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs
The Issues of Solving Staffing and Scheduling Problems in Software Development Projects
A Method for the Detection and Reconstruction of Foliar Damage caused by Predatory Insects
Dockerfile TF Smell Detection Based on Dynamic and Static Analysis Methods
A Secure and Efficient Fine-Grained Deletion Approach over Encrypted Data
Uncovering Software Supply Chains Vulnerability: A Review of Attack Vectors, Stakeholders, and Regulatory Frameworks
VertexRank: Importance Rank for Software Network Vertices
Device State Recovery in Non-volatile Main Memory Systems
Detecting Code Injection Attacks in Internet Explorer
Online Testing of Web-Based Applications
Embracing Uncertainty: The New Machine Learning
STPSA 2008 Workshop Organization
Software reuse and CASE tools
Trust as Soft Security for Self-Adaptive Systems: A Literature Survey
Towards Detecting Sex Offenders in Social Networks
Preliminary Case Study on Software Reuse with Object Persistency Framework
Transforming quantities into qualities in assessment of software systems
MRI Interpolation for Multiple Sclerosis Lesion Quantification
A concurrent programming language Cable and its visualization facility
Formal Approaches to Mode Conversion and Positioning for Vehicle System
An Intelligent Microgrid Energy Management System Using Distributed Database and IEEE 1888
The Impact of Anonymity on Communication in the Metaverse
Enhancing the Performance of Mobile Traffic Identification with Communication Patterns
Identifying Medical Concepts and Semantic Types in Lay Vocabularies of Health Consumers Who are Concerned with Diabetes on Social Media Using the UMLS and NLP
A Framework for the Management of Operator Policies and User Preferences for Service Compositions in the IP Multimedia Subsystem
Trend Analysis using a TemporalWeb Ontology Language in News Domains
Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification
Program factors as predictors of program readability
Rapid prototyping of programming language semantics using Prolog
A Framework for the Composition of IoT and CPS Capabilities
Implementation of Nonstop Software Update for Client-Server Applications
Generalized Attacker and Attack Models for Cyber Physical Systems
A Mathematical Model for a Hybrid System Framework for Privacy Preservation of Patient Health Records
A Comparative Analysis of Graph Neural Networks for Fake News Detection
Synthesis of diagnosable weighted computer system
MuKEA-TCP: A Mutant Kill-based Local Search Augmented Evolutionary Algorithm Approach for Test Case Prioritization
Simple Group Photo Sharing Using Facesense
Answering Multiple Aggregate Queries Under a Specific Privacy Condition
Traceability between requirements and design: a transformational approach
An Android Application for Geolocation Based Health Monitoring, Consultancy and Alarm System
Industrial strength software engineering training programs
Attacks and Mitigation Techniques for Iris-Based Authentication Systems
A Methodology to Automate the Selection of Design Patterns
Day-Ahead Scheduling Optimization for Energy Saving in Microgrid with PV-ESS
The Use of System Development Methodologies in the Development of Mobile Applications: Are they Worthy of Use?
MannAccess: A Novel Low Cost Assistive Educational Tool of Digital Image for Visually Impaired
Group Management System for Federated Identities with Flow Control of Membership Information by Subjects
Prediction Method of Blasting Vibration by Optimized GEP Based on Spark
BrailleÉcran: A Braille Approach to Text Entry on Smartphones
DNetSpec: A Distributed Network Testing Toolset for Middleware Developers
Design and implementation of a distributed database
End-to-End QoS Model for Mobile WiMAX Systems
Task.o object modeling approach for robot workcell programming
Automated Health-Assessment of Software Components using Management Instrumentatio
Using IoT in AAL Platforms for Older Adults: A Systematic Mapping
A Fuzzy Petri Nets Based Mechanism for Fuzzy Rules Reasoning
Human Desire Inference Process Based on Affective Computing
Feature Representation Extraction Method of Hotel Reviews Using Co-occurrence Restriction and Dependency Graph
Evaluation and Visualization of Trustworthiness in Social Media - EUNOMIA's approach
Detecting MITM Based on Challenge Request Protocol
An Agile Framework for Security Requirements: A Preliminary Investigation
Extending software complexity metrics to concurrent programs
Alcohol-Induced Differential Variable Genes
Situation-Aware Data-Driven Decision Making in Smart Environments Using the MapReduce
Fluid-Based Modeling of TCP BBR Congestion Control Mechanism
Linked Open Data Aggregation: Conflict Resolution and Aggregate Quality
Verifiable Delegated Authorization for User-Centric Architectures and an OAuth2 Implementation
Towards a Template Matching Approach for Human Fall Detection
A reactive system for specifying and running flexible cloud service business processes based on machine learning
Evaluation Framework for Netflow-based Network Anomaly Detection Systems using Synthetic Malicious Network Traffic
Web-Based Support for Managing Large Collections of Software Artefact
Privacy Protection Federated Learning Framework Based on Blockchain and Committee Consensus in IoT Devices
Linear discriminant functions for minimum-error pattern recognition: a direct approach
Tracking Personal Processes in Group Projects
A graphics tool to aid in the generation of parallel FORTRAN programs
Designing parallel algorithms from forests and multistage graphs
A Survey on Blockchain Data Analysis
Keynote: Mobile Service Evolution und Research Trends in Future Internet
Towards a Design Method Supporting the Alignment between Business and Software Services
MOTION: A Peer-to-Peer Platform for Mobile Teamwork Support
Application layer software fault tolerance for distributed object-oriented systems
Flexible Access Control Framework Considering IdP-Side's Authorization Policy in Roaming Environment
An Efficient Defect Estimation Method for Software Defect Curves
vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generation
Semantic aspects of data dependencies and their application to relational database design
Spoken Dialogue System for Learning Braille
Panel: the model and metrics for software quality evaluation report of the Japanese National Working Group
Entropy-Based Age Estimation of Blog Authors
Modeling of software reusable component approach and its case study
A Framework for Designing Safe Software Systems
An Optimised Runtime Reconfiguration of Component-Based Software Systems
Attack Prediction using Hidden Markov Model
Software reliability and maintainability in large-scale systems
Preserving Location-Related Privacy Collaboratively in Geo-social Networks
An Analysis of Grading Patterns in Undergraduate University Courses
Extracting Ontologies from Legacy Systems for Understanding and Re-Engineering
Specifications reuse process modeling and case study-based evaluations
A High-Level DSL for Geospatial Visualizations with Multi-core Parallelism Support
Understanding and Measuring Nesting
"There's Competition Even Among the Parents of Neurodiverse Children" - Understanding the Dynamics of Social Support Groups for Parents of Autistic Children
A Novel Gesture Detection Technique to Increase Security in NFC Contactless Smartcards
A Home Gateway Box with Meter, Probe and L2 QoS Policy Edge
TLS Connection Validation by Web Browsers: Why do Web Browsers Still Not Agree?
Implementation and Evaluation of Commodity Hardware and Software in an Open World Spoken Dialog Framework
Requirement Patterns for Multicore Systems
Sprint Walk: Local Random Walks with Partial Non-Local Information
Adversarial Attacks in Multimodal Systems: A Practitioner's Survey
Contextual knowledge for summarizing Japanese texts and generating English sentences
A Semantic Similarity Measure between Web Services Based on Google Distance
COVID-19 SIHR Modeling and Dynamic Analysis
Can You Really Make Profit from Online Rating Manipulations?: An Empirical Study
Psychophysiological Correlates of Embarrassment Emotion: A Comparative Study Between Shy Males and Females
A Taxonomy of XSS Attack Detections in Mobile Environments based on Automation Capabilities
An Enhanced Routing Method for Overlay Networks Based on Multiple Different Time Intervals
Aspects of mapping tasks onto parallel processing systems
An Architectural Design of a Job Management System Leveraging Software Defined Network
Message from the SAPSE 2015 Workshop Organizer
Predicting Next Call Duration: A Future Direction to Promote Mental Health in the Age of Lockdown
Data Flow Analysis and Testing of Java Server Pages
Smart Computing Applications Using BLE and Mobile Intercloud Technologies
Software Product Line Configuration and Traceability: An Empirical Study on SMarty Class and Component Diagrams
VGUIDE: 4GL Application Platform for Large Distributed Information
Non-Functional Computing: Towards a More Scientific Treatment to Non-Functional Requirements
How IT Leadership Will Change by 2020 and Why it Matters
Automated Generation of User-Interface Prototypes Based on Controlled Natural Language Description
An Architectural Framework for the Design and Analysis of Autonomous Adaptive Systems
Improving exception handling with object-oriented programming
Algebraic Semantics for C++11 Memory Model
Visualization of Concurrent Program Executions
Low-Resolution Face Recognition for CCTV and Edge-Powered Smart Attendance Systems
Efficient Interactive Cascade Learning for User-Aware Personalization in Edge Activity Recognition
A User Behaviour-Based Video Segmentation Strategy for High-Concurrency Environment
Protecting Resources in an Open and Trusted Peer-to-Peer Network
Multi-Objective Test Case Generation for Web Applications with Limited Resources
Requirements Validation based on the Visualization of Executable Formal Specifications
Distributed communication software specification based on the action superposition mechanism
System validation through automated requirements verification
Predicting Performance on a Loosely Controlled Event System
A Hybrid Algorithms Construction of Hyper-Heuristic for Test Case Prioritization
Position Statement: How Well Technology Supports Software Evolution
A concurrent programming environment for memory-mapped persistent object systems
The Problem of Handling Multiple Headers in WS-Security Implementations
An Agile Framework for Real-Time Motion Tracking
Supporting the Partitioning of Distributed Systems with Function-Class Decomposition
Automating the Development of Device-Aware Web Services: A Model-Driven Approach
The impact of computers on nuclear cardiology
ApiRAT: Integrating Multi-source API Knowledge for Enhanced Code Translation with LLMs
A heuristic algorithm for intersection cleanup-implemented in IGL
On the Effectiveness of Position-Based Routing in Delay/Disruption-Tolerant Networking
A Preliminary Study on Common Programming Mistakes that Lead to Buffer Overflow Vulnerability
Ethical Analysis of AI-Enhanced Audiovisual Translation Tools
Computers and society: Report of a workshop
Towards the Modeling of Personal Privacy in Ubiquitous Computing Environments
Software Engineering in the European Automotive Industry: Achievements and Challenges
Implementation and Evaluation of Secure Outsourcing Scheme for Secret Sharing Scheme on Cloud Storage Services
Online Software Upgrading: New Research Directions and Practical Considerations
Reasoning for CPS Education Using Surrogate Simulation Models
An Ada interface for massively parallel systems
Hierarchical Program Diagram Editor Based on Attributed Graph Grammar
Traceability Link Mining - Focusing on Usability
Comparison of Frequency Bands for Wireless Communication in Forests Using LoRa Modulation
A structured bipartite inheritance network representation for object-oriented software design
Causal Consistency for Distributed Data Stores and Applications as They are
ELALPS: A Framework to Eliminate Location Anonymizer from Location Privacy Systems
Toward a Novel Measurement Framework for Big Data (MEGA)
Commercial applications of knowledge based systems: initiatives in the electric power industry
Assessing Student Participation and Engagement Using Discord
eHealth Mobile Specialist Practice Enabled by Open RAN in Remote Regions of Brazil
Historical Redundant Process Data Recovery based on Genetic Algorithm
A Game Theory Based Congestion Control Protocol for Wireless Personal Area Networks
Improving the Prediction Accuracy with Feature Selection for Ransomware Detection
Message from the HCSC 2018 Workshop Organizers
Combining Constraint Solving with Different MOEAs for Configuring Large Software Product Lines: A Case Study
An Empirical Study of VR Software Quality Based on Developer Forums and ISO/IEC 25010
Towards Dynamic Process with Variable Structure by Reflection
From Software Architecture to Implementation with UML
Experience Report: How to Extract Security Protocols' Specifications from C Libraries
Encrypted QR Code Based Optical Challenge-Response Authentication by Mobile Devices for Mounting Concealed File System
A Formal Approach to Designing a Class-Subclass Structure Using a Partial-Order on the Functions
Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model
Analyzing the Role of Noise Trader in Financial Markets through Agent-Based Modelling
Chain-of-Summary: An Efficient Multi-Clustering Framework for Hierarchical Abstraction
Checking Accountability with a Prover
A Concept for Secure Production Programming of Embedded Industrial Field Devices
Extracting Parallelism in Nested Loops
PrefixCDD: Effective Online Concept Drift Detection over Event Streams using Prefix Trees
GenRe: A General Replication Scheme over an Abstraction of DHTs
An Adaptive Bandwidth Reservation Method for a Content-Centric Network
Hand-Gesture Recognition System by Using Microwave Doppler Sensors
Architecturing Business Intelligence for SMEs
Accomplishments and Challenges of Protein Ontology
Similar Mask Retrieval with Contrastive Learning for Single Domain Generalization in Medical Imaging
Automated Negotiation of Privacy Contracts
Fitness Monitoring System Based on Multimodal Perception and Rotation Strategy
Stage-Based Generative Learning Object Model to Support Automatic Content Generation and Adaptation
Router Position-Based Cooperative Caching for Video-on-Demand in Information-Centric Networking
Metal Artifact Reduction Methods Using Deep Generative Models for Cultural Relics X-ray CT Images
Performance Evaluation of Transformer-based NLP Models on Fake News Detection Datasets
Web Application Firewall: Network Security Models and Configuration
Implementation of Active Learning Methods in Mechanical Engineering Education to Enhance Students' Performance
Implementing Electronic Medical Record (EMR) Technology in Hospital Setting: A Qualitative Study
Interconnection schemes for RTO.k objects in loosely coupled real-time distributed computer systems
Message from CELT Symposium Organizing Committee
A Dynamic-Reconfigurable Architecture for Protocol Stacks of Networked Systems
Geopolitical Manoeuvring in Blockchain Standardization: A Comparative Analysis of the EU and U.S. Approaches
Autonomic Dominant Resource Fairness (A-DRF) in Cloud Computing
A Weaker Knowledge Connectivity Condition Sufficient for Fault-Tolerant Consensus with Unknown Participants
Voice-Activated Self-Monitoring Application (VoiS): User Acceptance and Satisfaction in the Field
A Framework for an Integrated Tool Set for Object-Oriented Analysis of Application Software Development
TBAC: Transaction-Based Access Control on Blockchain for Resource Sharing with Cryptographically Decentralized Authorization
A parallel hash-based join algorithm for a networked cluster of multiprocessor nodes
A Literature Review on Blockchain-enabled Security and Operation of Cyber-Physical Systems
Fabrication of Ontology for Security in Health Care Systems
ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs
Hypothesis Testing for Module Test in Software Development
Optimal Configuration and Placement of PV Systems in Building Roofs with Cost Analysis
Emotion Recognition Based on Photoplethysmogram and Electroencephalogram
An Automatic Connector Generation Method for Dynamic Architecture
InfoSleuth: Agent-Based System for Data Integration and Analysis
UNIFORM: Automatic Alignment of Open Learning Datasets
An Enhanced Temperature Aware Routing Protocol in Wireless Body Area Networks
Implementing Inductive Logic into Embedded Industrial Control System with Polynomial Ring on F2
Runtime Software Architecture Based Software Online Evolution
Gradient-Guided Test Case Generation for Image Classification Software
Junosphere: Towards Professional Networks Education
Congestion Detection in Mobile Network towards Complex Event Processing
Energy Efficient Scheduling for Heterogeneous Fog Computing Architectures
Examining the Relationship Between Stress Levels and Cybersecurity Practices Among Hospital Employees in Three Countries: Ghana, Norway, and Indonesia
Dripcast - Server-less Java Programming Framework for Billions of IoT Devices
A Multi-Agent Framework for Testing Distributed Systems
A software approach to multiprocessor address trace generation
Author Identification of Software Source Code with Program Dependence Graphs
Consideration of Network Selection Criteria on IP Mobility Communications Quality by Real-Time Status and/or Statistical Information
Quality-time tradeoffs in simulated annealing for VLSI placement
Architectural Issues in Opening Up the Advantages of Open Source in Product Development Companies
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems
Privacy-Preserving Federated Learning for Household Characteristic Identification
Ontology-Based Obesity Tracking System for Children and Adolescents
Exploring the Impact of a ChatGPT-Based Interactive System on Enhancing the Knowledge and Attitudes Towards Advance Care Planning in Older Adults
Agents to guide operators with recognition of time series
Analysis of Security of PKI Operation with Multiple CP/CPS Based on Level of Assurance
Quantifying Event Impact on the Bitcoin Blockchain
CATest: A Test Automation Framework for Multi-agent Systems
An Event Data Extraction Method Based on HTML Structure Analysis and Machine Learning
System Modification Case Studies
Semantic Motif-Based Analysis of Post-Pandemic Mobility Adaptation in Brazil Using Mobile Phone Data
An End-to-end Detection of Wormhole Attack in Wireless Ad-hoc Networks
An Intelligent Tutoring System for API Misuse Correction by Instant Quality Feedback
Health Sciences students and educators experience with using ChatGPT
Study of facial generation methods after orthodontic treatment
A Node-labeling-based Method for Evaluating the Anonymity of Tor Network
Logical Analysis of Weighted Social Networks - An Extended Abstract
TIKD: A Trusted Integrated Knowledge Dataspace For Sensitive Healthcare Data Sharing
Cooperative Cache Distribution System for Virtual P2P Web Proxy
EDP-BGCNN: Effective Defect Prediction via BERT-based Graph Convolutional Neural Network
Research on Evaluation Function of Clustering Algorithm Based on Duty Cycle
Event Indexing and Searching for High Volumes of Event Streams in the Cloud
Requirements Specifications Evolution in a Multi-Perspective Environment
Consistency Checking between Data and Process Diagrams Based on Formal Methods
Model Check of Real-time Property of Embedded Assembly Program Using CEGAR
Managing software development - requirements to delivery
Continuous Productivity Assessment and Effort Prediction Based on Bayesian Analysis
On-Demand Barrier-Free Street View System Using Sensor Information from General-Purpose Wheelchair Users
AIDDES - Distributed Intelligent Pair-Software Development Environment
An effective network management architecture for distributed multimedia systems
Self-Configuring Communication Middleware Model for Multiple Network Interfaces
Specification, Design and Implementation of a Reuse Repository
From Sub-patterns to Patterns: An Approach to the Detection of Structural Design Pattern Instances by Subgraph Mining and Merging
Modularity in the METAL system
PAD-Phys: Exploiting Physiology for Presentation Attack Detection in Face Biometrics
Assertion techniques for dynamic monitoring of linear list data structures
Network Intrusion Detection Using Stack-Ensemble ANN
Software specification in business terminology
Analyzing Refactorings' Impact on Regression Test Cases
Applicability of LTE Public Key Infrastructure Based Device Authentication in Industrial Plants
A Novel Grading Method of Cataract Based on AWM
A Framework for Software Engineering Inconsistencies Analysis and Reduction
A fast selective traversal algorithm for binary search trees
Visual Configuration in Automotive Software Product Lines
Accelerated Deterministic Multithreading for Multichannel Video Decoder
A SysML Based Requirement Modeling Automatic Transformation Approach
E Learning In 2001
Improving Time-Series Forecasting with Statistical and AI-Driven Feature Optimization
A model-driven framework for representing and applying design patterns
Two test data selection strategies towards testing of Boolean specifications
Flipped-classroom Based Teaching Method for Data Structures and Algorithms
AMCNet: Attention-Based Multiscale Convolutional Network for DCM MRI Segmentation
Indoor Augmented Reality Using Deep Learning for Industry 4.0 Smart Factories
A General Approach to Evaluation of Secure Systems
Built-in Regression Testing for Component-based Software Systems
Assertion Recommendation for Formal Program Verification
Supporting Integration of COTS Components from a Perspective of Self-Adaptive Software Architecture
Analyzing Bug Reports by Topic Mining in Software Evolution
Quality Issues in System Engineering Affecting Virtual Distance Learning Systems
LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior
48th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2024, Osaka, Japan, July 2-4, 2024
Toward a Labeled Dataset of IoT Malware Features
Target Application Grouping Function Considering Software Updates on Application Execution Control System
Hybrid Approach for Enabling Hierarchical Fog Networks in an IoT Deployment
Making Climate Models Reusable: From Static Model Analysis to On-demand Model Integration
Bat Algorithm for Attractor Reconstruction of Low-Dimensional Chaotic Maps from Time Series
Development of Situational Requirements Engineering Processes: A Process Factory Approach
A generalized implementation method for relational data sublanguages
Lessons Learned from the Design and Evaluation of InterViewR: A Mixed-Reality Based Interview Training Simulation Platform for Individuals with Autism
Chip Technologies as the Engine for IT Revolution
Complete Runtime Tracing for Device Drivers Based on LLVM
DBPowder: A Flexible Object-Relational Mapping Framework Based on a Conceptual Model
Machine Learning Based Method for Auditing Personnel Expenses in Public Expenditure
Siemens Process Assessment and Improvement Approaches: Experiences and Benefits
Requirements for an international educational collaboration system architecture, a case study: Coláiste Nano Nagle School in Limerick, Ireland, and Irshad High School in Kabul, Afghanistan
Towards a novel wearable solution for citrus inspection using Edge AI