yusuke1997/dblp-id-title huggingface dataset:
On formalizing software process description: Consortium's example
A Novel Key Management Scheme for Dynamic Access Control in a User Hierarchy
Detecting Intrusions Specified in a Software Specification Language
Comparison of Trading Strategies: Dual Momentum vs Pairs Trading
Adaptive Random Test Case Generation for Combinatorial Testing
The Architecture of a Dynamically Updatable, Component-Based System
A Data Science Solution for Supporting Social and Economic Analysis
Real-Time Indoor Positioning System Based on RFID Heron-Bilateration Location Estimation and IMU Inertial-Navigation Location Estimation
Access Control Model for IoT Environment Including Automated Configuration
Design and Analysis of a Method for Synoptic Level Network Intrusion Detection
Batch Processing Algorithms for NewSQL-based Big Data Systems
Faceted Bug Report Search with Topic Model
Basic Concept of Emergency Optical Network Planning Using Multiagent-Based Flexible and Autonomous Network Control
The Position of E-Learning Systems in 2001
Software Test Process Control: Status and Future Directions
A Tuning Method of a Monitoring System for Network Forensics in Cloud Environment
Here, There and Everywhere: The Future of Software Engineering Education
Self-learning for Annotating Website Privacy Policies at Scale
Object Naming Service Supporting Heterogeneous Object Code Identification for IoT System
A Healthcare Support System for Assisted Living Facilities: An IoT Solution
Text-Based CAPTCHA Using Phonemic Restoration Effect and Similar Sounds
Adoption of Free Libre Open Source Software (FLOSS): A Risk Management Perspective
30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1
Heart Rate Estimation from Face Videos for Student Assessment: Experiments on edBB
A Middleware for Personal Smart Spaces
A New Receiver-Based Layered-Rate Estimator Algorithm for Fair Bandwidth Distribution
Detecting Hidden Failures of DBMS: A Comprehensive Metamorphic Relation Output Patterns Approach
Design and Implementation of a Novel Weighted Shortest Path Algorithm for Maze Solving Robots
Centralized Control of Account Migration at Single Sign-On in Shibboleth
A Taxonomy of Interactions Introduced by Aspects
Designing massively parallel algorithms with Parallaxis
Interactive Bridge Inspection Research using Drone
Semantic Stream Management Framework for Data Consistency in Smart Spaces
Behavioral Dependency Measurement for Change-Proneness Prediction in UML 2.0 Design Models
Applications of superimposed coding to partial-match retrieval
Evaluating GML Support for Spatial Databases
mmCNN: A Novel Method for Large Convolutional Neural Network on Memory-Limited Devices
Specification slicing in formal methods of software development
Modeling and Verification of Call Setup Dynamics of LTE Communication Systems
A Distress Call: Needing Tools to Large-Scale Semantic-Aware Agent Systems
Multi-version Execution for the Dynamic Updating of Cloud Applications
Comparative analysis of neural networks techniques to forecast Airfare Prices
A New Way of Being Smart? Creative Computing and Its Applications in Tourism
Enhancing Team Diversity with Generative AI: A Novel Project Management Framework
Internet Multimedia Application Techologies Current Practice and Future
High-Performance Address Translation for Solid-State Drives via Asymmetry Decomposition
Treatment of syntactic errors in an atlas translator
A knowledge-based debugger for real-time software systems based on a noninterference testing architecture
The Need for Traceability in Heterogeneous Systems: A Systematic Literature Review
IEEE COMPSAC 2023 - Resilient Computing and Computing for Resilience in a Sustainable Cyber-Physical World: Summary and Future Research Directions
A Cooperative Framework for Inter-Organizational Workflow System
Towards Formal Verification of a Commercial Wireless Router Firmware
MTSA: Multi-Granularity Metamorphic Testing for Sentiment Analysis Systems
Logistic Regression and Random Forest for Effective Imbalanced Classification
Considerations in developing a design tool for a relational DBMS
Message from the Workshop Chairs: CDS 2013
Modeling the Symptomatic Fixes Archetype in Enterprise Computer Security
A Systematic Robot Fault-Tolerance Approach
Discrimination of Sugarcane Varieties by Remote Sensing: A Review of Literature
Program Behavior Analysis and Control for Online IDE
Automation of Medical Insurance Post-Claims using OCR and RAG Models
Optimal Scheduling for Normal and Interactive Operations in Parallel Video Servers
Empirical Study on GitHub Issue Report Templates
Discrete Choice Experiments to identify user preference for electric mobility
Tracing Static Fields of Embedded Parallel Java Applications
Metadata Support for Safe Component Upgrades
Improvement of TCP Performance based on Characteristics of Private LoRa Interface
An amalgamated model of software usability
Physical Fuzzy Rule Based Unsupervised News Article Clustering
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems
Association Rule-Based Data Mining Agents for Personalized Web Caching
Enhancing Cutting Sound Quality in Tool Wear Monitoring via Hybrid Domain Loss UNet Network
On real-time system research and education
Software Reliability Growth Model Considering Testing Profile and Operation Profile
Construction of a Green Power Virtual Machine Management Method on OpenStack
Benchmark Requirements for Assessing Software Security Vulnerability Testing Tools
An Algorithmic Approach to Authorization Rules Conflict Resolution in Software Security
A Sufficient Condition for Parameters Estimation in Dynamic Random Testing
Model Checking Software in Cyberphysical Systems
Open Reuse of Component Designs in OPM/We
Physiological Mouse: Towards an Emotion-Aware Mouse
Conceptual Modeling of the Organisational Aspects for Distributed Applications: The Semantic Lifting Approach
On the Effect of Recovery Block Scheme on System Performance
Application of Blockchain for Trusted Coordination in Collaborative Software Development
Improving the Derivation of Sound Security Metrics
Development of a Virtual Travel System to Enhance the Discovery of Aspiration and Pleasure
In-air Signature Authentication Using Smartwatch Motion Sensors
Message from the CAP Organizing Committee
Supporting Keyword Selection in Generating Earth Science Metadata
Spoken Interaction within the Computed World: Evaluation of a Multitasking Adaptive Spoken Dialogue System
Assessing the Impacts of Electric Vehicles Uptake: A System Dynamics Approach
FFU: Far-Future-Using Replacement Algorithms for Continuous Media Storage System
Formal Design of Real-Time Components on a Shared Data Space Architecture
A Modular Java API for Object-Oriented Databases
Dew Computing in Industrial Automation: Applying Machine Learning for Process Control
Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture
Code Generation Using Self-Interactive Assistant
Weighted fuzzy logic and its applications
Model-Checking BNDC Properties in Cyber-Physical Systems
An inversion capability for the PRESTIGE workbench: some basic issues
Blockchain-Based Source-to-Source News Verification
Truthful Incentive Mechanism for Mobile Crowdsensing with Smart Consumer Devices
An Approach for Matching Functional Business Requirements to Standard Application Software Packages via Ontology
Message from ECpE Symposium Organizing Committee
Integration of 3D Trajectory Maps into a Local Distribution Map of Radiation Dose Using Unmanned Aerial Vehicle
Semantic Enterprise Description for the Needs of Business Process Automation
Analyzing and Re-structuring Product Line Dependencies
Multi-Criteria Transaction for E-Commerce Applications
Usage History-Based Architectural Scheduling
Suitability of Evolutionary Algorithms for Evolutionary Testing
Context Aware Deployment for Mobile Users
Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations
Incremental Class Testing from a Class Test Order
Technical aspects of privacy protection
Facilitator Agent Design Pattern of Procurement Business Systems
Design of MIDA, a Web-Based Diagnostic Application for Hydroelectric Generators
Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems
Driving factors for the adoption of blockchain: A focus on startup entrepreneurship
Performance, effectiveness, and reliability issues in software testing
Delivery Route Optimization Through Occupancy Prediction from Electricity Usage
Building the Infrastructure of E-University
Data Models for Metrics-Based Project Management Systems
A Reputation System for Trustworthy QoS Information in Service-Based Systems
Can Large Language Model Aid in Generating Properties for UPPAAL Timed Automata? A Case Study
Mob Programming: A Systematic Literature Review
Network Management with Intelligent Trader
Telehealth in Cardiovascular Diseases: Reflections on Its Usability in the Jordanian Context
Metadata for Energy Disaggregation
Software Test Selection Patterns and Elusive Bugs
A Novel Wireless System to Monitor Gait Using Smartshoe-Worn Sensors
An Imprecise Computation Model in Reducing Power Consumption of Flash Memory for Portable Devices
An approach to reusable software through prototyping and set-oriented languages
NAT-Aware Peer Grouping and Chunk Scheduling for Mesh-Pull P2P Live Streaming Systems
Evaluating software development environment quality
Mobile Application-Based Solution for Building Accessibility Assessment for Comprehensive and Personalized Assessment
Towards an Architecture for Customizable Drones
On the Optimal Cache Allocation in Information-Centric Networking
MoCha: A Middleware Based on Mobile Channels
Extensions to the object-oriented paradigm
A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language
Scope of Selection Nodes in Object Oriented Programs
Simulation based metrics prediction in software engineering
A knowledge-based system approach to the development of a system functional requirement specification processor
A Satisfaction Driven Approach for the Composition of Interactive Web Services
Scheduling and Analysis of Real-Time Software Families
Identifying Key Players and Themes in Michigan Protests Through Social Network Analysis
Synthesis of Java Deserialisation Filters from Examples
A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research
Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification
A DSML for Coordinating User-Centric Communication Services
Plenary Panel Description: Challenges and Future Directions of Software Technology
A Traceable and Pseudonymous P2P Information Distribution System
Mediating Turf Battles! Prioritizing Shared Modules in Locating Multiple Features
Interactive Verification of Safety-Critical Software
Flying Communication Server in case of a Largescale Disaster
Parallelizing Probabilistic Streaming Skyline Operator in Cloud Computing Environments
The Application of Distributed Virtual Machines for Enterprise Computer Management: A Two-Tier Network File System for Image Provisioning and Management
On the Impact of Cut-Through Links in Epidemic Broadcasting
Systems testing and statistical test data coverage
Some stability measures for software maintenance
Toy Block Networking: Easily Deploying Diverse Network Functions in Programmable Networks
MV - TMM: A Multi View Traceability Management Method
Spatio-Temporal Data Retention System with MEC for Local Production and Consumption
Enabling Cyberanalytics using IoT Clusters and Containers
Ripple effect analysis of software maintenance
Analyzing the Characteristics of Ego-Network Structures of Influential Twitter Users
A reduced incremental ECFSM-based protocol verification
Efficient commitment of events in distributed simulation
Transforming Code with Compositional Mappings for API-Library Switching
The universal relation assumption and decomposition strategies for schema design
Applications of software reliability measurement to instruments and calculators
A Multi-Class SLIPPER System for Intrusion Detection
Intelligent Agents and P2P Semantic Web
AI and ML-Driving and Exponentiating Sustainable and Quantifiable Digital Transformation
Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model
Effective computer program development and use
Parallel Software Reuse Driven CPN Model Reduction and Analysis Approach
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland
Thermodynamics-Based Entropy Adjustment for Robust Self-Organized Network Controls
Integrating System Modeling with Project Management - A Case Study
Static Slicing of Concurrent Object-Oriented Programs
Improving Mobility in Smart Cities with Intelligent Tourist Trip Planning
A New Combined CNN-RNN Model for Sector Stock Price Analysis
An Agent Program in an IoT System to Recommend Plans of Activities to Minimize Childhood Obesity
Prototype Development and Initial Usability Testing of Managing My MS My Way
Management of Object Oriented Development based on Ranked Use Cases
Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks
Translating hierarchical predicate transition nets to CC++ program skeletons
Mental workload classification from non-invasive fNIRs signals through deep convolutional neural network
Innovative Business Models in Ports' Logistics
Integrating Software Product Lines: A Study of Reuse versus Stability
Managing Heterogeneous Sensor Data on a Big Data Platform: IoT Services for Data-Intensive Science
Decision-Support System for the Optimal Technology Split of a Decarbonized Bus Network
Effective dynamic scheduling and memory management on parallel processing systems
Capacity Evaluation of Multi-modal Network Notification Service
Message from the ADMNET Workshop Organizers
Message from the COMPSAC 2005 Fast Abstract Co-Chairs
Standardizing the Crowdsourcing of Healthcare Data Using Modular Ontologies
Message from the TQACBS 2005 Program Co-Chairs
Traceability Link Evolution Management with Incremental Latent Semantic Indexing
An ISO-Compliant Test Procedure for Technical Risk Analyses of IoT Systems Based on STRIDE
An Approach Based on Structural Differences to Expedite Applying OSS Updates to Products
Message from the IWFIT 2018 Workshop Organizers
Dynamic Analysis for the Reconstruction of System Behavior Models
SDISSASA: A Multiagent-Based Web Mining via Semantic Access to Web Resources in Enterprise Architecture
MobiCS: Mobile Platform for Combining Crowdsourcing and Participatory Sensing
Productivity improvement with evolutionary development
ePVM - An Embeddable Process Virtual Machine
Uncovering Water Research with Natural Language Processing
Combining MDE and UML to Reverse Engineer Web-Based Legacy Systems
Internet-based Decision Support: Towards E-Hospital
SAPS: Software Defined Network Aware Pub/Sub - A Design of the Hybrid Architecture Utilizing Distributed and Centralized Multicast
Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
Isolating and Understanding Program Errors Using Probabilistic Dispute Model
Beyond Log Parsers: A Scalable AI-Driven Framework for Efficient Log Anomaly Detection in Software Engineering
Development of a unified approach for system requirements engineering
Parallel Software Engineering - Goals 2000
A Real-Time Background Replacement Method Based on Machine Learning for AR Applications
Scalable Cloud-Based Analysis Framework for Medical Big-Data
Effect of Complementary Processing on Navy Command and Control Software
Intrusion Detection in Pervasive Networks Based on a Chi-Square Statistic Test
Panel: IT in Practice: Status and Challenges
Information Orchestration System for Closing the Information Retrieval Capability Gap
QACOS 2008 Workshop Organization
Learning Hands-on Information Assurance and Security on Mobile Devices
Hands-on File Inclusion Vulnerablity and Proactive Control for Secure Software Development
Delay Front and Skip Interval - Assessing Open Source Software Maintenance of System Vendors and Computer Centers
A Dynamic Intervals Determination Method Based on Transaction Rates for Real-Time IoT Applications
Designing An FSM Architectural Framework for Service-Based Applications
Fuzzy Option Pricing for Jump Diffusion Model using Neuro Volatility Models
Exploration into Gray Area: Efficient Labeling for Malicious Domain Name Detection
Quantifying the Characteristics of Java Programs That May Influence Symbolic Execution from a Test Data Generation Perspective
Ma X : An Access Control System for Digital Libraries and the Web
Extending the E-R concepts to capture natural language semantics for database access
Green Computing Methodology for Next Generation Computing Scientists
21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA
Chatbotification for Web Information Systems: A Pattern-Based Approach
Application Recommendation based on Metagraphs: Combining Behavioral and Published Information
Physics-Informed Learning-based Attack Analytics for Electric Vehicle Charging Management Systems
Strategies for machine instruction transformation in an expert system
An Adaptive User Requirements Elicitation Framework
A Case Study on SDF-Based Code Generation for ECU Software Development
Prediction of COVID-19 from Chest X-ray Images Using Multiresolution Texture Classification with Robust Local Features
Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2010, Seoul, Korea, 19-23 July 2010
Implementation Considerations in Enabling Visually Impaired Musicians to Read Sheet Music Using a Tablet
OPTES: A Tool for Behavior-based Student Programming Progress Estimation
Evolution of Big Data Models from Hierarchical Models to Knowledge Graphs
Multivariate Time-Series Anomaly Detection in IoT with a Bi-Dual GM GRU Autoencoder
Expert systems for software engineering?
Embedding with Large Language Models for Classification of HIPAA Safeguard Compliance Rules
BFSA: Blockchain-Enhanced Flexible Storage Architecture for Smart Building IoT Applications
Xu: An Automated Query Expansion and Optimization Tool
Determine Configuration Entry Correlations for Web Application Systems
Toward an Optimal Anomaly Detection Pattern in Wireless Sensor Networks
Scheduling algorithms for coalesced jobs in real-time systems
View modelling and integration using tho functional dependency model
QoS Network Control for Elderly Support Services
Managing Software Quality with Defects
An Effective Communication Platform Based on XMPP for HWME
Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison
Priority Integration for Weighted Combinatorial Testing
Semantic Web and Intelligent Agents Research and Practice Masoud Mohammadian
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization
An If-While-If Model-Based Performance Evaluation of Ranking Metrics for Spectra-Based Fault Localization
Online Vehicle Selection for Task Replication via Bandit Learning
Software problems for dynamic architectures: Adaptive assignment of hardware resources
Authentic Learning on DevOps Security with Labware: Git Hooks To Facilitate Automated Security Static Analysis
Interactive Augmented Reality Game for Enhancing Library Instruction in Elementary Schools
Mitigating Insecure Outputs in Large Language Models(LLMs): A Practical Educational Module
Composition can be Faster than Join
Prediction of Bug Inducing Commits Using Metrics Trend Analysis
Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients
Design and implementation of software system to support national development in Brazil
A Practical Behavior Analysis of Video Application Users on Smart Phones
Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes
A freely available system for human activity recognition based on a low-cost body area network
Evaluation of Cybernetic Avatar Operations in Three Different Types of Viewpoints for Optimizing Operator Usability and Comfort
Qianxiang Wang
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes
Challenges and Future Directions of Software Technology: Secure Software Development
Criteria of Virtual University Operation
Software bus transceiver
Privacy Preservation in Affect-Driven Personalization
Model of Reliability of the Software with Coxian Distribution of Length of Intervals between the Moments of Detection of Errors
A Probabilistic Evaluation Function for Relaxed Unification
Quality Assessment for Multiple Server Cooperating Systems
Computer aided automatic digitizing of engineering drawings
Which Learning Outcomes Should I Acquire? A Bar Chart-Based Semantic System for Visually Comparing Learners' Acquirements with Labor Market Requirements
An Empirical Study of Tightest Network Calculus Analyses for Networks with Multicast Flows
An Approach to Improving the Effectiveness of Data Augmentation for Deep Neural Networks
The updatability of relational views based on functional dependencies
Towards a Model Logic for p-Calculus
Buffer Overflow Vulnerability Prediction from x86 Executables Using Static Analysis and Machine Learning
Novel Color Coded MITRE ATT&CK Inspired Attack Tree Modeling: Application in ICSs
Analyzing Semantics of Documents by Using a Program Analysis Method
A Creative Approach to Reusing Data and Generating Knowledge in Enterprise Systems
Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems
A Systematic Literature Review of Machine Learning Approaches for Optimization in Additive Manufacturing
The Multi-Project Support System based on multiplicity of task
Context-aware, Composable Anomaly Detection in Large-scale Mobile Networks
Defining the Problems of Framework Reuse
Optimizing MAC Layer Performance for Wireless Sensor Networks in eHealth
A data base machine design and evaluation facility
Biomedical Big Data Analytics for Patient-Centric and Outcome-Driven Precision Health
The influence of manufacturing paradigms on system development methodologies
Binary Similarity Analysis for Vulnerability Detection
Design of generalized document viewer using object chain representation
SimUI: graphical user interface evaluation using playback
An Ensembled Method For Diabetic Retinopathy Classification using Transfer Learning
Integrating Heterogeneous Security Knowledge Sources for Comprehensive Security Analysis
Highly Reliable Mobile Desktop Computing in Your Pocket
Nonrecursive algorithms for reconstructing a binary tree from its traversals
The Architectural Style of Component Programming
Luv: A Programming Language for Describing Human Relationships
Publishing tools need both: state-oriented and task-oriented version support
Design Scheme of Copyright Management System Based on Digital Watermarking and Blockchain
Object-oriented database views for supporting multidisciplinary concurrent engineering
Popularity-Independent Multimedia-on-Demand Server Model
A Model-Based Approach to Implementing Real-Time Mobile Services
A Framework for Decentralized Private Random State Generation and Maintenance for Multiplayer Gaming Over Blockchain
Experiences with a Dialog-Driven Process Model for Web Application Development
Malware Detection with Deep Neural Network Using Process Behavior
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities
Students' Perspectives on AI Code Completion: Benefits and Challenges
Concurrent Embedded Real-Time Software Verification
A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments
Next Steps: Navistar's compensation reserve expert system advisor
View-Adaptive Weighted Deep Transfer Learning for Distributed Time-Series Classification