yusuke1997/dblp-id-title huggingface dataset:
Implementation of Dewblock Clients on a Mobile Platform
Compatibility Checking of Compound Business Rules Expressed in Natural Language Against Domain Specification
Secure Monitoring for Identity Federations and Distributed Systems
WWM: A Practical Methodology for Web Application Modeling
Dynamic Object Viewers for Java
A Fine-Grained Privacy Structure for Service-Oriented Architecture
Enforcing complex security policies for commercial applications
Open Science, Business Analytics, and FAIR Digital Objects
Network Traffic Prediction Based on Double-Synchronized Periodic LSTM
Context Aware Image Annotation in Active Learning with Batch Mode
Your Phone Knows You: Almost Transparent Authentication for Smartphones
vSwitchGuard: Defending OpenFlow Switches Against Saturation Attacks
Distributed Object Technologies for Collaborative Computing
Keynote: Hierarchical Fault Detection in Embedded Control Software
Adapting Single-Request/Multiple-Response Messaging to Web Services
Using Security and Domain Ontologies for Security Requirements Analysis
Test Script Generation Based on Design Documents for Web Application Testing
A Scalable and High-efficiency Discovery Service Using a New Storage
Development and Evaluation of IoT System Consisting of ROS-based Robot, Edge and Cloud
A Security Assessment of HCE-NFC Enabled E-Wallet Banking Android Apps
Detection of Irregularities and Rips by Finding Critical Points of Morse Theory - Preliminary Results on Analysis on Sales Data
26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings
Processing Queries with Expensive Predicates by Filtering
A Systematic Literature Review of Current IoT-Based Approaches for Improving Sustainable Public Transportation in Smart Cities
RefCRE: A Reference Count Based Rewriting Framework for VM Image Restoration
An efficient digital search algorithm by using a double-array structure
Software Reuse in Design and Development of Aspects
Towards a Digital Twin Framework for Autonomous Robots
A Solution for Minimum Link Flow Problem with Sparse Modeling
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
A Parallelizing Compiler by Object Oriented Design
Touch-Based Ontology Browsing on Tablets and Surfaces
Function Point Measurement for Object-Oriented Requirements Specification
Predictive Notification Service of Privacy Invasion on Posting Pictures to SNS
Modeling parts and discrete assembly operations, using an object-oriented data model
Resource Sharing and Security Implications on Machine Learning Inference Accelerators
L2 Cache Access Pattern Analysis using Static Profiling of an Application
Year 2000 Problem: A "Paper Tiger" or A "Real Tiger"?
CL-KAN: A Novel Hybrid Approach for Spatiotemporal Traffic Predictions
Applied Data Analytics Approach for Defect Root Causes Analysis in Manufacturing: The Case of Multi-Product Assembly Lines
Secure iOS mHealth Apps Development: An IDE-Embedded Framework for HIPAA-Aware Coding
A Configuration Management System Supporting Component-Based Software Development
Semi-Automatic Construction Method of Chronic Obstructive Pulmonary Disease Knowledge Graph
Collaborative Spoofing Detection and Mitigation - SDN Based Looping Authentication for DNS Services
An Optimistic Method for Updating Information in Distributed Collaborative Work
ApproxiFuzzer: Fuzzing towards Deep Code Snippets in Java Programs
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization
Program C Editor through Voice Input
Message from the SEPT Symposium Program Chairs
Early Detection of At-Risk Students in a Calculus Course
VERSAG: Context-Aware Adaptive Mobile Agents for the Semantic Web
Time-Aware Recommendation Based on User Preference Driven
Design More Usable and Reliable Large-Scale Software Systems: A New Approach Based on P2P, SOA and Web 2.0
Attaining software product integrity
Automatic Generation of Selective Disassembly Sequences for Augmented Reality-Guided Maintenance
Quantifying Quality of Software Design to Measure the Impact of Refactoring
COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea
Performance Comparison of IP and CCN as a Communication Infrastructure for Smart Grid
Automatic Cataract Grading with Visual-semantic Interpretability
Semantic-Oriented Ubiquitous Learning Object Management System SULOMS
Helping Campaign Initiators Create Mobile Crowd Sensing Apps: A Supporting Framework
A Rough Set Based Self-Adaptive Web Search Engine
Case studies in software reuse
Analyzing BPEL Compositionality Based on Petri Nets
Machine Learning-Based Early Detection and Intervention for Mental Health Issues in Children
Deception and Lie Detection Using Reduced Linguistic Features, Deep Models and Large Language Models for Transcribed Data
The hyper-geometric distribution software reliability growth model (HGDM): precise formulation and applicability
An Evaluation of Sharding Protocol with Uneven Nodes Settings
Panel on management of emerging software technologies
Message from the TAIN Program Co-chairs
Solutions to ventilate learning spaces: a review of current CO2 sensors for IoT systems
Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation
Message from the DSA 2015 Workshop Organizer
A Latency Aware and Dynamic Caching Model for Heterogeneous Datalake Environments
Madelyn: Multi-Domain Multi-Agent Reinforcement Learning for Data-center Networks
Deep Transfer Learning in Smart Building and Links with Edge Computing
Requirements for QoS-based Web Service Description and Discovery
Affinity and Interference-Aware Service Deployment for Energy Efficiency in Cloud Data Centers: A Deep Reinforcement Learning Approach
Prototyping for Internet of Things with Web Technologies: A Case on Project-Based Learning using Scrum
A Practical Software Model for Content Aggregation in Browsers Using Recent Advances in HTML5
Cache Effect of Shared DNS Resolver
Examining the Perception of Drilling Depth Using Auditory Cues
An asynchronous federated learning focusing on updated models for decentralized systems with a practical framework
A Service Broker Providing Real-Time Telecommunications Services for 3rd Party Services
Formal Verification and Security Analysis of AMQP
Automatic Detection of Outdated Comments During Code Changes
SEWB: distributed software development environment on workstations
A gridless multilayer channel router
Viewpoint-Oriented Variability Modeling
Performance Evaluation of Notifications in a Web Services and P2P-Based Network Management Overlay
Efficient implementation strategies for the DRB approach in fault-tolerant hypercubes
Understanding the Origins of Weak Cryptographic Algorithms Used for Signing Android Apps
Towards Effective Generation of Synthetic Memory References Via Markovian Models
A Scheduling Service for a Dynamic Real-Time CORBA System
Detecting Weak Changes over a Network of Streaming Events
Certificate Based Authorization Simulation System
DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data
Impact of Resource-Constrained Networks on the Performance of NIST Round-3 PQC Candidates
Applying Code Vectors for Presenting Software Features in Machine Learning
Task and Team Management in the Distributed Software Project Management Tool
Message from the WEDA 2016 Program Chairs
Security Requirements Engineering in the Wild: A Survey of Common Practices
Automatic Diagnosis of Hip and Knee Osteoarthritis from Medical Text Records
Componentware and Composable Software Architecture
Comparative Analysis of Neural Networks Techniques for Lithium-ion Battery SOH Estimation
Evaluating Automated Program Repair Techniques using Introductory Programming Course Datasets
Tele-operation of Robot Teams: A Comparison of Gamepad-, Mobile Device and Hand Tracking-Based User Interfaces
A File-Distribution Approach to Achieve High Availability and Confidentiality for Data Storage on Multi-cloud
Analyzing Software Evolvability
A Revisit of a Theoretical Analysis on Spectrum-Based Fault Localization
Differentially Private Generation of Social Networks via Exponential Random Graph Models
Counterexample-Guided Abstraction Refinement for Component-Based Systems
A Pull-Type Security Patch Management of an Intrusion Tolerant System Under a Periodic Vulnerability Checking Strategy
MI-FIWARE: A web component development method for FIWARE using microservices
Towards OWL 2 Natively Supported Fuzzy Cloud Ontology
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution
A tool for compiler construction based on aspect-oriented specifications
Extending Team Automata to Evaluate Software Architectural Design
Towards a Better Similarity Measure for Keyword Profiling via Clustering
Analyzing the Validity of Smart Beta in Financial Markets through Agent-Based Modeling
A support tool for the L + 1-layer divide & conquer approach to leads-to model checking
Focus software
Mathematical transformation of Petri-nets for development of parallel/distributed programs
Detrending Moving Average Algorithm: Quantifying Heterogeneity in Financial Data
Application of the 0-1 Programming Model for Cost-Effective Regression Test
"ASTMS and the computing industry"
Ubá: A Software Product Line Architecture for Grid-Oriented Middleware
An Agent-Based Framework Supporting Trust Evaluation for Service Selection
An implementation of software tools for replay and partial replay of Concurrent-C programs
Build Predictor: More Accurate Missed Dependency Prediction in Build Configuration Files
The Vital Few Versus the Trivial Many: Examining the Pareto Principle for Software
Supporting queries in the O-Raid object-oriented database system
Personalized Mental Health Assistance with Large Language Models
SLA-based Data Integration on Database Grids
Effects of Social Media Use on Health and Academic Performance Among Students at the University of Sharjah
Toward an mHealth Intervention for Smoking Cessation
Improvement of Object-Oriented System Analysis and Design with Aspects
ReMBF: A Reliable Multicast Brute-Force Co-allocation Scheme for Multi-user Data Grids
On predicting software reliability
43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1
Specification of E-LOTOS Systems in the E-DART Environment
Extracting High-level Component-Connector View from Detailed UML Models: A Case Study
Test Case Prioritization Based on Method Call Sequences
An Anomaly Detection Framework for Autonomic Management of Compute Cloud Systems
The XIS Generative Programming Techniques
Preserving autonomy in a heterogeneous multidatabase system
Data-Intensive Research & Scientific Discovery
Web Service and Geographical Information Integration
Auditing Buffer Overflow Vulnerabilities Using Hybrid Static-Dynamic Analysis
Asian Information HUB Project: NICT's R&D Vsion and Strategies for Universal Communication Technology in the Big Data Era
Requirement Process Establishment and Improvement: From the Viewpoint of Cybernetics
Measuring the Software Security Requirements Engineering Process
Data sharing protocols: structure, requirements and interrelationships
Designing a Lightweight Convolutional Neural Network for Camouflaged Object Detection
Structuring large versioned software products
Design data modeling with versioned conceptual configuration
Efficient Construction of Presentation Integration for Web-Based and Desktop Development Tools
Interpreting Attention of Stock Price Prediction
Feature Engineering-Based Detection of Buffer Overflow Vulnerability in Source Code Using Neural Networks
A distributed cooperative CASE environment for communications software
Requirement Risk Assessment Focused-On Stakeholder Risk Analysis
A Framework for Fast MapReduce Processing Considering Sensitive Data on Hybrid Clouds
A Distributed Cloud Honeypot Architecture
Formal Methods in the Era of Service-Oriented Design
Visualization as a Tool to Understand the Experience of College Students with Autism
A set and mapping-based detection and solution method for structure clash between program input and output data
Challenges in Geographically Distributed Information System Development: A Case Study
Deriving Process-Related RBAC Models from Process Execution Histories
Distributed Processes on Tree Hash
Improving Workflow Anomaly Detection with a C-Tree
Test Order for Inter-Class Integration Testing of Object-Oriented Software
47th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2023, Torino, Italy, June 26-30, 2023
Utilization of Bio-Ontologies for Enhancing Patent Information Retrieval
Performance Testing: Far from Steady State
An Extensible Pervasive Platform for Large-Scale Anticipatory Mobile Computing
Model Based Test Automation through Asynchronous Channels
The SDI approach
Towards an Institutional Representation for the B Model Oriented Specification
A Study on the Applicability of Modified Genetic Algorithms for the Parameter Estimation of Software Reliability Modeling
Learning analytics to monitor and predict student learning processes in problem solving activities during an online training
Maxmin Fairness under Priority for Network Resource Allocation Tasks
An Application Framework for TCP/IP Applications
Hardware Acceleration of Smith-Waterman Algorithm for Short Read DNA Alignment Using FPGA
Security and Privacy in Collaborative Distributed Systems
A Specialized Meta-scheduler for Business and Applications Constraints Management
pLSM: A Highly Efficient LSM-Tree Index Supporting Real-Time Big Data Analysis
Sharing the Design Information in a Distributed Concurrent Development of Large-Scale Software Systems
Analysis of the Influences of Central Bank Financing on Operative Collapses of Financial Institutions Using Agent-Based Simulation
A Framework for Dengue Surveillance and Data Collection in Pakistan
MECM2M: An MEC Based M2M System Considering Mobile Nodes as Compute Servers
Keynote: Towards An Ontological Foundation for Evolving Agent Communities
Designing [Secure] Complex Critical Public Infrastructure
Integrated debugging and performance monitoring for parallel programs
Formalization of Software Testing Criteria using the Z Notation
An Exploration of E-Puskesmas Technology Application in Indonesian Public Health Centers: A Qualitative Study
Improvement of Deep Learning Models by Excluding Inappropriate Data Based on Interpretability
Characterization and Prediction of Popular Projects on GitHub
A hybrid approach to mutual exclusion for distributed systems
Customizable software requirements languages
Transformer-based Automatic Mapping of Clinical Notes to Specific Clinical Concepts
An Aspect-Oriented Approach to Security Requirements Analysis
QA/Testing Bi-directional Languages Software: Issues and Challenges
Directions for memory hierarchies and their components: Research and development
License Compatibility Detection for OpenJavaWorks Open-Source Projects Based on Code Similarity
Loop Invariant Generation for Non-monotone Loop Structures
Towards an Applied Oral Health Ontology: A Round Trip between Clinical Data and Experiential Medical Knowledge
Lightweight Privacy-Preserving Similar Documents Retrieval over Encrypted Data
An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems
On the Effect of Scale-Free Structure of Network Topology on Performance of Content-Centric Networking
A Systematic Regression Testing Method and Tool For Software Components
Relaxed Objects - Object Model for Context-Aware Applications
A Case Study for Invalidating the Markovian Property of GUI Software Structural Profile
A Test Strategy for Object-Oriented Programs
Evaluating Graphical User Interfaces for Improving Depth Perception with Remote Crane Operators
Cider: An Event-Driven Continuous Integration Server
Measuring Network Security Using Bayesian Network-Based Attack Graphs
An Approach to Generate the Thin-Threads from the UML Diagrams
An Optimal Route Selection Mechanism for Outbound Connection on IPv6 Site Multihoming Environment
Assisting Replace Method with Method Object: Selecting Fields and Preserving Data Access
High-order Object Model Based Software Analysis
A real-time object model RTO.k and an experimental investigation of its potentials
OCL Fault Injection-Based Detection of LDAP Query Injection Vulnerabilities
SatiIndicator: Leveraging User Reviews to Evaluate User Satisfaction of SourceForge Projects
Adaptive Rule-Based Malware Detection Employing Learning Classifier Systems: A Proof of Concept
Towards Clinical Decision Support for Veteran Mental Health Crisis Events using Tree Algorithm
Model Oriented Software Architecture
A Longitudinal Study of Customer Electricity Load Profiles
A State Channel Based Approach to Address Scalability of Healthcare Data Sharing
Precise Extraction of Malicious Behaviors
CUDAsmith: A Fuzzer for CUDA Compilers
Building a CFG to Include Exceptions
Defining and Detecting Bad Smells of Aspect-Oriented Software
Testing Java Exceptions: An Instrumentation Technique
Does Our Collective Stringency Control the Virus? Investigating Lockdown Effectiveness on Community Mobility Data
Regularization of Deep Neural Networks for EEG Seizure Detection to Mitigate Overfitting
CHASE: a bug-locating assistant system
A framework for application adaptation in mobile computing environments
"Frontline Mediators" an ethnographic study of online welfare applications at the public library
Applied MDA for Embedded Devices: Software Design and Code Generation for a Low-Cost Mobile Phone
A Summer Computing Camp Using ChainReaction and jABC
A Novel Scheme Producing and Evaluation System in HWME
CTRL-ALT-LED: Leaking Data from Air-Gapped Computers Via Keyboard LEDs
Formal support for software maintenance
Software Engineering for Scalable Distributed Applications
Investigating the Effects of Balanced Training and Testing Datasets on Effort-Aware Fault Prediction Models
EmCARE Applications in Managing the Emotional Skills of Children and Adolescents in the United Arab Emirates
Model Checking C Programs with Dynamic Memory Allocation
Assisted Human-in-the-Loop Adaptation of Web Pages for Mobile Devices
Grapheon RL: A Graph Neural Network and Reinforcement Learning Framework for Constraint and Data-Aware Workflow Mapping and Scheduling in Heterogeneous HPC Systems
Storage Protocol for Securing Blockchain Transparency
Design Issues in Running a Web Server on Bare PC Multi-Core Architecture
Statistical Evaluation of Test Sets Using Mutation Analysis
A Curated Personas and Design Guidelines Tool for Better Supporting Diverse End-users
A Smart Role Mapping Recommendation System
Security by Design for the Smart Grid: Combining the SGAM and NISTIR 7628
Toward Understanding Information Models of Fault Localization: Elaborate is Not Always Better
Risk Based Testing of Open Source Software (OSS)
A Hierarchical Categorization Approach for Configuration Management Modules
Optimization System for Dynamic Flight Planning for Groups of Drones using Cooperation with Mobile Recharge Bases by Means of Multiagent System and Recursive Auctions
Performance Analysis of Reusable Components with Hybrid Modelling of Strategies and Processes: A Real World Case Study
Application development using Smalltalk and C++
Enabling Dynamic Co-evolution of Models and Runtime Applications
FMECA Control for Software Development
Microcontroller-Based AWGNG for Security Enhancement of Embedded Real-Time Web Services
Assessing the Efficacy of Telephone Telemedicine in Enhancing Follow-up Visits for Non-Adherence Hypertensive Patients: A Cross-Sectional Study in Northern Bangladesh
What MININET Has Taught us about Programming Style
A Specification Construction Unit-Based Editor for Z
41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2
Dynamic validation of programs using assertion checking facilities
DA-Parser: A Pre-trained Domain-aware Parsing Framework for Heterogeneous Log Analysis
FORTEST: Formal Methods and Testing
Maximum Power Tracking Controller for a Wind-Driven Permanent-Magnet Synchronous Generator: Using an Approach of Chaos Synchronization
An Empirical Study on the Selection of Good Metamorphic Relations
Efficient Pooling Designs and Screening Performance in Group Testing for Two Types of Defectives
Design and Analysis of Cost-Cognizant Test Case Prioritization Using Genetic Algorithm with Test History
Efficient Diverse Redundant DNNs for Autonomous Driving
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations
Intelligent query mechanism for expert systems
Comparative Analysis of Pre-trained Deep Learning Models and DINOv2 for Cushing's Syndrome Diagnosis in Facial Analysis
Software engineering of the micro/mini computer subnet in computer networks
An Empirical Study of Fault Localization on Novice Programs
Some new algorithms and software implementation methods for pattern recognition research
An approach to abstract specification based on traces
A Generic Discretionary Access Control System for Reuse Frameworks
The MEA Framework: A New Perspective for the Development of Situation-Specific Methods
From Data Reuse to Knowledge Reuse in Web Applications: A Survey
A Multiple Security Domain Model of a Drive-by-Wire System
Learning Parameterized State Machine Model for Integration Testing
Detecting Malicious Attacks Exploiting Hardware Vulnerabilities Using Performance Counters
TI-Prompt: Towards a Prompt Tuning Method for Few-shot Threat Intelligence Twitter Classification *
Debunking some Common Misconceptions on E-Learning
Ensuring Architecture Conventions in Multi-site Development
Opportunities and Challenges in Designing Participant-Centric Smoking Cessation System
An Image Processing Approach to Solve Labyrinth Discovery Robotics Problem
Chinese Wall Security Model and Conflict Analysis
Machine Learning Applied to Support Medical Decision in Transthoracic Echocardiogram Exams: A Systematic Review
An Interactive and Continuous Authorization Scheme by using Belnap Logic
Strategies and Challenges on the Accessibility and Interoperability of e-Government Web Portals: A Case Study on Brazilian Federal Universities
How GitHub Contributing.md Contributes to Contributors
Towards the Verification of Services Collaboration
Improving QoS for VM Allocation in Multi-Cloud Environment
An Augmented Social Interactive Learning Approach through Web2.0
Wide-Range Sensor Network System by Limited Sensors Based on Various Image Analysis Method
Academic Performance Prediction Using Chance Discovery from Online Discussion Forums
Mining Rules from Real-Valued Time Series: A Relative Information-Gain-Based Approach
Reimagine Application Performance as a Graph: Novel Graph-Based Method for Performance Anomaly Classification in High-Performance Computing
Supply and Demands of Information Technology Workers
A Machine Learning based Traceability Links Classification: A Preliminary Investigation
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic
EC-SignGate: Electronic Contract Signing Gateway
Teaching Autonomous Driving Using a Modular and Integrated Approach
Message from the Workshop Chairs; COMPSAC 2024
Classifying Architectural Elements as a Foundation for Mechanism Matching
Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification
Predicting Decisions of the Philippine Supreme Court Using Natural Language Processing and Machine Learning
A Deep Learning based Method for Microscopic Object Localization and Classification
Improving Prediction Accuracy for Logistic Regression on Imbalanced Datasets
A Systematic Mapping Study on Approaches for Al-Supported Security Risk Assessment
Hardware Attacks and Security Education
A Text Information Retrieval Method by Integrating Global and Local Textual Information
Software Requirements Engineering Methodology (SREM) at the age of two
SCALE: Self-Regulated Clustered FederAted LEarning in a Homogeneous Environment
A Solution to the Distributed Mutual Exclusion Problem in K-Groups
Towards a Unified Approach for Software Architecture Recovery