yusuke1997/dblp-id-title huggingface dataset:
Increasing Web Service Dependability Through Consensus Voting
Interactive Real-Time Embedded Systems Education Infused with Applied Internet Telephony
Hexagon: Generating Asynchronous Microservices Benchmarks for the Evaluation of Anomaly Propagation Resistance
Message from the Student Research Symposium Chairs
Enhancing Inter-Node Process Migration for Load Balancing on Linux-Based NUMA Multicore Systems
Automatic Structuring of Radiology Reports of Chest X-Ray Images Using Large Language Model
Automatic Accuracy versus Complexity Characterization for Embedded Emotion-Sensing Platforms in Healthcare Applications
Compiling process algebraic specifications into timed automata
Digital Twins Environment Simulation for Testing Healthcare IoT Applications
Development of Situation-Aware Application Software for Ubiquitous Computing Environment
Securing the Transportation of Tomorrow: Enabling Self-Healing Intelligent Transportation
Empowering Educators for the Future: Leveraging Futuristic Thinking and Emerging Technologies
FeSCH: A Feature Selection Method using Clusters of Hybrid-data for Cross-Project Defect Prediction
mTOCS: Mobile Teleophthalmology in Community Settings to improve Eye-health in Diabetic Population
Nonlinear versus linear recursion: a perspective from computing transitive closures of a binary relation by the join domain nested loops approach
CataLogger: A Framework for Building Asset Management Solutions
A Systematic Literature Review of Medical Chatbot Research from a Behavior Change Perspective
A WWW Based Software Metrics Environment for Software Process Management and Software Product Quality Improvement
Multi-agent Approach to Electrical Distribution Networks Control
Application of mathematical constraint resolution to decision support system
Automatic Stress and Load Testing for Embedded Systems
An Improved Technique of Fitness Evaluation for Evolutionary Testing
Using predicate/transition-nets to model and analyze distributed database systems
Assessing the Significant Impact of Concept Drift in Software Defect Prediction
A Correlation-based Real-time Segmentation Scheme for Multi-user Collaborative Activities
Threshold-Driven Class Decomposition
Formalising Middleware Systems: A Design Pattern-Based Approach
Modeling and Predicting Software Failure Costs
Software productivity and quality measurements
Orientative teaching with Open Educational Resources: the role of teachers in students' transition from high school to university
Toward More Robust Automatic Analysis of Student Program Outputs for Assessment and Learning
Deriving Formal Specifications from Informal Requirements
Simulation Driven Development of Distributed Systems - Improving the System Development Process Using the Example of the German Automatic Toll System
Using Obfuscators to Test Compilers: A Metamorphic Experience
Dependable On-Line Upgrading of Distributed Systems
Extending Applications Using Reflective Assistant Agents
Implementation of Dynamic Round Robin Scheduling on Bare-Metal Shallow Multi-OS for Lightweighted Microcontrollers
Replication of multimedia data using master-slave architecture
EH* - Extendible Hashing in a Distributed Environment
A relational data management system for electronic switching systems
A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems
Code Change Sniffer: Predicting Future Code Changes with Markov Chain
29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 2
A Privacy-Preserving and Fully Decentralized Storage and Sharing System on Blockchain
The Causes Analysis of Ischemic Stroke Transformation into Hemorrhagic Stroke using PLS (partial Least Square)-GA and Swarm Algorithm
Entity behaviour descriptions-A specification model for communicating entities
CAOS: A Context Acquisition and Offloading System
A Load Balancing Scheme for Distributed Simulation Based on Multi-agent System
Leveraging Social Contacts for Message Confidentiality in Delay Tolerant Networks
Locating Procedural Steps in Source Code
Building and managing software libraries
A Generative Approach for Building Data-Oriented Information Systems
FOREST: a systematic testing environment based on standardized formal description techniques
Optimizing LLMs for Resource-Constrained Environments: A Survey of Model Compression Techniques
Temperature Prediction in Microgrids Using LSTMs: A Case Study
Achieving Third-party Deniability in Signature-based Credential Systems
Real-Time Systems - Panel Overview
Human Susceptibility to Phishing Attacks Based on Personality Traits: The Role of Neuroticism
XGDFed: Exposing Vulnerability in Byzantine Robust Federated Binary Classifiers with Novel Aggregation-Agnostic Model Poisoning Attack
IEEE 37th Annual Computer Software and Applications Conference, COMPSAC Workshops 2013, Kyoto, Japan, July 22-26, 2013
Tactile Interface Design for Helping Mobility of People with Visual Disabilities
A Framework for Updating Functionalities Based on the MAPE Loop Mechanism
A Dynamic Partitioning Approach for GUI Testing
Inserting Software Fault Measurement Techniques into Development Efforts
Towards a Unified Goal-Oriented Language
Web and Information Security: Workshop Summary
Performance Analysis of Convolutional Neural Network By Applying Unconstrained Binary Quadratic Programming
Expert system building tools
LLM-Based Class Diagram Derivation from User Stories with Chain-of-Thought Promptings
Proposal of a Logical Sensor Architecture using WoT-Based Edge Microservices
Design and Implementation of Context Calculus in the GIPSY Environment
Internet of Things-Based Temperature Tracking System
LAC: Locating and Applying Consistent and Repetitive Changes
Requirements and Tools for Variability Management
Digital Health Using Data Science
'State of the Art' in Using Agile Methods for Embedded Systems Development
Cross-profiling as an efficient technique in simulating parallel computer systems
Languages for biomedical image processing
Reasoning about Human Intention Change for Individualized Runtime Software Service Evolution
Declarative Multithreaded Programming
A formal approach to the desin and implementation of network communication protocol
CNN-Based Model for Chinese Information Processing and Its Application in Large-Scale Book Purchasing
Performability Modeling and Analysis for Real-Time Object Detection on UAV Systems
Workload-Aware Online Anomaly Detection in Enterprise Applications with Local Outlier Factor
Self-Metamorphic-Testing Components
Carpet: Automating Collaborative Web-Based Process across Multiple Devices by Capture-and-Replay
Failure Prediction in 2D Document Information Extraction with Calibrated Confidence Scores
Kernel primitives of the HXDP executive
The Advanced Data Processing Testbed
A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making
GcLite: An Expert Tool for Analyzing Garbage Collection Behavior
Development of Quality Control Systems for an Autonomous Cherry Sorting Prototype
Integration and Analysis of Design Artefacts in Embedded Software Development
Adaptive Splitting-Based Block I/O Scheduling in Disk Storage
E-Mail Priority Delivery System with Dynamic Whitelist in the Layer 3 Switch
A framework of a logic-based transformation system
A Two-Step Password Authentication System for Alzheimer Patients
Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures
Software Infrastructure for Delivering and Supporting Distributed Applications Enhanced with Awareness
RIES - Internet Voting in Action
CCSS: An Effective Object Detection System for Classroom Crowd Statistics
Mitigating the Dependence Confounding Effect for Effective Predicate-Based Statistical Fault Localization
Supporting Event Based Traceability through High-Level Recognition of Change Events
Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems
Dynamic Software Visualization with BusyBorg - A Proof of Concept
Plenary panel description: Challenges towards the global adoption of cloud computing
Consistent Substitution of Object in Rule-based IoT Applications
Object-oriented techniques based on specifications
Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings
Automatically pinpointing original logging functions from log messages for network troubleshooting
Synthesis of Heterogeneous Dataflow Models from Synchronous Specifications
Semantic Enriched Category Recommendation System for Large-Scale Emails Exploiting Big Data Processing Technologies
Issues in database management of multimedia information
Model for Global Software Engineering Project Life Cycle and How to Use it in Classroom for Preparing Our Students for the Globalization
Extending Statecharts with Duration
A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems
Automatic Construction of Name-Bound Virtual Networks for IoT
On the Distribution of Property Violations in Formal Models: An Initial Study
An Architecture-Based Approach for Component-Oriented Development
Kiwifruit Leaf Disease Identification Using Improved Deep Convolutional Neural Networks
SGPQ-IoT: Securely Generating Post-Quantum Keys for IoT Devices Using a Quantum Computer
Evaluation of Ontology-Based Checking of Software Requirements Specification
Design and Implementation of the Dual-Axis Solar Tracking System
Machine Learning for Text Anomaly Detection: A Systematic Review
REFS Keynote: "Requirements for Services: Does it Make Sense?"
Verification and Implementation of the Protocol Standard in Train Control System
Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution
Concept drift detection for distributed multi-model machine learning systems
Target Setting for Technical Requirements in Time-Stamped Software Quality Function
RSSI Based Indoor Localization for Smartphone Using Fixed and Mobile Wireless Node
A system for labor negotiations
The effect of COVID-19 on the economic systems: evidence from the Italian case
An Empirical Study on Hugging Face Trends, Topics and Challenges on Stack Overflow
A multimedia knowledge-based system
A Panoramic Geology Field Trip System Using Image-Based Rendering
Validation of Temporal Simulation Models of Complex Real-Time Systems
A Transformation-Based Approach to Generating Scenario-Oriented Test Cases from UML Activity Diagrams for Concurrent Applications
Classification of Weak Correctness Criteria for Real-Time Database Applications
Understanding Requirements: Aspect Oriented Software Development
A Dynamic Model and Simulation of Industrial Clusters
A knowledge base for code reuse by similarity
Facility Information Management on HBase: Large-Scale Storage for Time-Series Data
MDA-based Development of E-Learning System
Design and Implementation of a Real-time Multimedia Presentation System using RTP
Message from the UCDAS 2015 Workshop Organizers
Test Case Prioritization for GUI Regression Testing Based on Centrality Measures
A predictive model for identifying inspections with escaped defects
Design of Multiagent System Architecture
Use Case Driven Structured Analysis
Embedded Software in Real-Time Pervasive Computing Environments
Automated Transformation of Template-Based Web Applications into Single-Page Applications
Industry and Academia: Can They Agree on Best Practice Within Software Engineering?
Efficiently Managing Security Concerns in Component Based System Design
An Affordable Real-Time Wearable Monitoring System for Head Impact Detection
Designing of a Network-Aware Cloud Robotic Sensor Observation Framework
A technique to derive the detailed time costs of parallel computations
Quality Model Driven Dynamic Analysis
A tool for the static optimization of concurrent programs
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments
On Leveraging Multi-Page Element Relations in Visually-Rich Documents
Specifying Behavioural Features of Design Patterns in First Order Logic
Experimental Study on the Accuracy and Precision of Object Size Measurement with Dual-Lens Imaging Systems
Enhancing Persuasion Through Emotional Elicitation in Digital Marketing: A Cross-Cultural Comparative Study
Using Program Dynamic Analysis for Weak Algorithm Detection
Object Oriented Distributed Component Software Development based on CORBA
Improving execution concurrency for long-duration database transactions
LeG for Enhancing Student Communication and Learning Experience
Linking Software Process Modeling with Markov Decision Theory
Multi-relational EHR representation learning with infusing information of Diagnosis and Medication
HybridSkipList: A Case Study of Designing Distributed Data Structure with Hybrid RDMA
Big Data Pipeline Scheduling and Adaptation on the Computing Continuum
A Local Cores-Based Hierarchical Clustering Algorithm for Data Sets with Complex Structures
Analysis of Route Announcements of Unassigned IP Addresses
Situation-Aware Personalized Information Retrieval for Mobile Internet
How Overlapping Community Structure Affects Epidemic Spreading in Complex Networks
Conversation Characteristics during Pair Work in Computer Literacy Education
A machine learning based on arithmetic optimization algorithm select the significant genes
Breakpoint-Based Lightweight Prefetching to Improve Application Response
Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain
One-dimensional logic gate assignment and interval graphs
A Complexity Reduction Method for Road Pricing Based on Demand Distribution
CHOCSLAT: Chinese Healthcare-Oriented Computerised Speech & Language Assessment Tools
Keystroke Biometrics in Response to Fake News Propagation in a Global Pandemic
Towards a Design Methodology for Multiprocessor Platforms
Quantifying Usability and Security in Authentication
Software Outsourcing Subcontracting and Its Impacts: An Exploratory Investigation
Software Architecture Relevance in Open Source Software Evolution: A Case Study
A Context Features Selecting and Weighting Methods for Context-Aware Recommendation
Challenges for Virtual Universities
A Keyword Query Approach Based on Community Structure of RDF Entity Graph
Personalizing Student Graduation Paths Using Expressed Student Interests
Reducing the Effort of Building Object-Oriented Visualizations
A nearest neighbor search technique with short zero-in time
Training Confidence-Calibrated Classifier via Distributionally Robust Learning
Towards Graph-based Cloud Cost Modelling and Optimisation
MiniWap: Navigating WAP with Minimo
28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Workshop Papers
Using System Dynamics Modeling to Manage Projects
FLNET: Fluid-Based Large-Scale Network Simulator
Centralized Online Sign-Up and Client Certificate Issuing System for Eduroam
Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets
Survey on Objective Measurement and Sensor-Based Detection of Physical and Social Activities
DADENT: a cost-effective environment for developing distributed software
Reducing Risks of Widespread Faults and Attacks for Commercial Software Applications: Towards Diversity of Software Components
Business Process Representation Analysis in the RPA Context
Feedback Control Based Test Case Instantiation for Firewall Testing
Real-Time Data-Intensive Telematics Functionalities at the Extreme Edge of the Network: Experience with the PrEstoCloud Project
A multi-level approach to data base design
Tool-Supported Methodology for Component-Based Design of Wireless Sensor Network Applications
Distributed and Asynchronous Planning and Execution for Multi-agent Systems through Short-Sighted Conflict Resolution
Localized Traffic Sign Detection with Multi-scale Deconvolution Networks
Secure Double-Layered Defense against HTTP-DDoS Attacks
On Security Analysis of PHP Web Applications
Petri-Net-Based Modeling and Resolving of Black Hole Attack in WMN
Imparting Global Software Development Experience via an IT Project Management Course: Critical Success Factors
Object modelling for open network management
Semantic-Enabled Clone Detection
An API for Dew Computing Services
Context Aware Services: A Novel Trend in IoT Based Research in Smart City Project
An Investigation of Prediction Models for Project Management
A Robotic Vision Model via Xception and Light Gradient Boosting Machine
Serious game for higher Mathematics education: evaluation of the learning tool
A Requirement Engineering Approach for Designing XML-View Driven, XML Document Warehouses
An Overlay-Based Resource Monitoring Scheme for Social Applications in MANET
Interaction-Driven Definition of e-Business Processes
Business graphics: Making computers work for management
Fuzzy Data Recognition by Polynomial Bidirectional Heteroassociator
Information Harvesting Method by an Energy Harvesting Device with Multiple Microcontrollers
Personalized Internet Advertisement Recommendation Service Based on Keyword Similarity
Analyzing Deep Convective Cloud Properties for Philippines' Monsoon Heavy Precipitation Using Self-Organizing Maps
Message from the Stephen S. Yau Academic Symposium Steering Committee Chair
Message from the ADMNET 2018 Workshop Organizers
On the Complexity of the Minimum and Maximum Global Snapshot Problems
A Semantic-Aware Publish/Subscribe System with RDF Patterns
SSRD+: A Privacy-aware Trust and Security Model for Resource Discovery in Pervasive Computing Environment
MIRec: Neural News Recommendation with Multi-Interest and Popularity-Aware Modeling
Model-Based Testing: Challenges Ahead
Are mHealth Apps Secure? A Case Study
LIPs: A Protocol for Leadership Incentives for Heterogeneous and Dynamic Platoons
Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs
37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013
Reliable Transaction Design Using MTS
Prediction and Study of the Applicability of Medical Gels to Patients
A model for development of customizable applications
Exploiting Syntactic Information to Boost the Fine-tuning of Pre-trained Models
ESBSC: Energy-Aware Service Brokering Strategy in Clouds
Geographical Test Data Generation by Simulated-Annealing
Design and Implementation of an Agile Microservices-Based Intelligent Surveillance Platform with Kubernetes
Experimental analysis of SIMD recursive digital filtering on the PASM system prototype
Estimating Rate of Queue Usage to Differentiate Cause of Packet Loss in Multi-hop Wireless Networks
Designing software for maintenance and performance
A General Framework for Interconnecting Annotations of Software Systems
The Story of Naive Alice: Behavioral Analysis of Susceptible Internet Users
Automated Educational Program Mapping on Learning Standards in Computer Science
Building CORBA Objects with DOS Software Applications
A Solution for Privacy Protection in MapReduce
Programs in software engineering education
Java Communication Interfaces for Control Systems
Cache-Sharing Distributed Service Registry for Highly Dynamic V2X Environments
Automatic Data Clustering Analysis of Arbitrary Shape with K-Means and Enhanced Ant-Based Template Mechanism
Critical issues in real-time software systems
Application of Artificial Intelligence Technology to Prevent Sudden Cardiac Death
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions
Preliminary Literature Review of Machine Learning System Development Practices
Re-engineering for Reuse: A Paradigm for Evolving Complex Reuse Artefacts
Complex Systems: Simply, Improve Life
AI-based Occupancy Prediction using WiFi CSI
A Family of Software Reliability Growth Models
TUFA: A TOSCA extension for the specification of accelerator-aware applications in the Cloud Continuum
Hybrid Intelligent Systems: Selecting Attributes for Soft-Computing Analysis
OTAGen: A Tunable Ontology Generator for Benchmarking Ontology-Based Agent Collaboration
Tolerance of Control-Flow Testing Criteria
Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989
Low-level programming of parallel supercomputers
A representation for discrete assembly sequences in task planning
WS-FIT: A Tool for Dependability Analysis of Web Services
A Distributed Intrusion Detection Scheme for Mobile Ad Hoc Networks
Adaptive Reasoning in the Presence of Imperfect Security Requirements
Influence of Hedonic State Visualization on Self and Surroundings
Predicting Change-Proneness with a Deep Learning Model: Incorporating Structural Dependencies
Transparent Security-Sensitive Process Protection via VMM-Based Process Shadowing
On Graph Representation with Smallest Numerical Encoding
Transforming Legacy Energy Management System (EMS) Modules into Reusable Components: A Case Study
Verifying Access Control Properties with Design by Contract: Framework and Lessons Learned
Mental Health Analysis During Pandemic: A Survey of Detection and Treatment
Data structures, types and abstractions
Tamper Resistance for Software Defined Radio Software
A Technique to Assign an Appropriate Server to a Client, for a CDN Consists of Servers at the Global Internet and Hierarchical Private Networks
Specifying Time-Sensitive Systems with TLA+
Empirical Evaluation of Idle-Time Analysis Driven Improved Decision Making by Always-On Agents
Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software
Abnormal Gait Recognition based on Integrated Gait Features in Machine Learning
A Machine Learning-Based Reliability Assessment Model for Critical Software Systems
Mobile Sensor-Based Fall Detection Framework
Quantitative Aspects of Requirements Evolution
Empowering Engagement through Automatic Formative Assessment
Integrating the concepts and techniques of semantic modeling and the object-oriented paradigm
Formal and Use-Case Driven Requirement Analysis in UML
Choosing the Right Time to Compose Aspectual Scenarios
A Linear Regression Approach to Modeling Software Characteristics for Classifying Similar Software
Code-Coverage Guided Prioritized Test Generation
A symmetrical approach to granting and revoking access rights in database management systems
Mining Weak Rules
Impacts Separation Framework for Performance Prediction of Middleware-Based Systems
"Please, No More GUIs!": A User Study, Prototype Development and Evaluation on the Integration of Attribute-Based Encryption in a Hospital Environment
A Screening Method for Left Ventricular Systolic Dysfunction by Single-Channel Electrocardiogram Using Machine Learning Algorithms
Modeling Web Navigation by Statechart
Software Application Platforms: From Product Architecture to Integrated Application Strategy
An architectural framework for enabling secure decentralized P2P messaging using DIDComm and Bluetooth Low Energy
Reengineering Legacy Systems with RESTful Web Service
Performance engineering for software architectures
Aspect-Oriented Security and Exception Handling within an Object Oriented System
Towards predictable and reliable distributed real-time systems
Towards Identifying the Optimal Timing for Near Real-Time Smoking Interventions Using Commercial Wearable Devices
RL-KDA: A K-degree Anonymity Algorithm Based on Reinforcement Learning
A Study on Distributed Resource Information Service in Grid System
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems
Toward Practical Software Reliability Assessment with Change-Point Based on Hazard Rate Models
The Design and Verification of Services Feature Interaction Manager on AIN Using Z Schema
Model Oriented Evolutionary Redocumentation
Variable Factors of Influence in Product Line Development
Apple-YOLO: A Novel Mobile Terminal Detector Based on YOLOv5 for Early Apple Leaf Diseases
Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach
A Scalable Physical Memory Allocation Scheme for L4 Microkernel
Predicting the Breakability of Blocking Bug Pairs