yusuke1997/dblp-id-title huggingface dataset:
Short-Term Performance Metrics Forecasting for Virtual Machine to Support Anomaly Detection Using Hybrid ARIMA-WNN Model
A Tool and Case Study for Specification-Based Program Review
The Cooperative Web: A Complement to the Semantic Web
RHE: A Lightweight JVM Instructional Tool
Delegation Pattern in Workflow System
Which Android App Store Can Be Trusted in China?
Policy-based Separation of Concerns for Dynamic Code Mobility Management
World Grid Square Data Reference Framework and its Potential Applications
Dynamic Service and Data Migration in the Clouds
A Memory-Based Reasoning Approach for Assessing Software Quality
Avoiding Program Failures Through Safe Execution Perturbations
Synthesis of Actor Dependency and Business Motivation for Service Requirements Engineering
Data Placement and Query Processing Based on RPE Parallelisms
A Quantum Generative Adversarial Network-based Intrusion Detection System
Stochastic backpropagation: a learning algorithm for generalization problems
Anomaly Detection for Automotive Diagnostic Applications Based on N-Grams
Implementing a software management discipline
Development of Bicycle Simulator with Tilt Angle Control Tilt Angle
Container Rebalancing: Towards Proactive Linux Containers Placement Optimization in a Data Center
MePof: A Modular and End-to-End Profile-Guided Optimization Framework for Android Kernels
A Combined Workload Planning Approach for Multi-tenant Business Applications
A Privacy-Preserving Solution for Tracking People in Critical Environments
Message from the SAPSE Workshop Organizers
Adversarial Human Context Recognition: Evasion Attacks and Defenses
Social Impact of Smart Environments: Software Engineering Perspectives and Challenges
EPLX: A High Level Language for Electronic Switching Systems
Approximation of Time-Consuming Simulation Based on Generative Adversarial Network
On Model Transformation Reuse
Global Software Enterpreneurship
An Application of Data Warehouse Technology to the Measurement System for UML based Artifacts
Message from the EACIS 2018 Workshop Organizers
Delineato: A Diagramming User Interface Designed Using a "What You Get is What You Need" Approach
Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images
Mitigating Threats to Validity in Empirical Software Engineering: A Traceability Case Study
An Evaluation of Side-Information Assisted Forensic Hash Matching
Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses
Accomplishing Adaptability in Simulation Frameworks: the Bubble Approach
Data Management Scheme to Enable Efficient Analysis of Sensing Data for Smart Community
Dynamic Reconfigurable Testing of Service-Oriented Architecture
Control IP's Sharing: From Configurable Mechatronic Control to Autosar SW-C Package. A New Model Business Scenario across Automotive OEMs and Component Supplier and the New Roles of SW IP's Supplier and SW IP's Integrator
Avoiding Privacy Violation for Resource Sharing in Ad hoc Networks of Pervasive Computing Environment
Dynamic query range for multikey searching
XQPE: A Partial Evaluation System for XQuery
SmartTinkerer: Bridging Smart Home Testing Gaps with LLM, Digital Twin & Reinforcement Learning
Data Center Energy Consumption Prediction Model Based on Deep Neural Network BiLSTM
Person-Centered Virtual Serious Games: Mental Health Education
On the Superiority of Data-Driven Combined Forecasts Based on Deep Learning Models
Self-Adaptive Software: Cybernetic Perspective and an Application Server Supported Framework
Supporting the Software Development Process Using Social Media: Experiences with Student Projects
Modeling Active Object-Oriented Database Application Using Multi-Level Diagrams
Deep Learning Empowered High Accuracy and Low Complexity Indoor Channel Prediction for Wireless Communication Systems
Raw and Artificially Generated Data to Improve the Development of Brain-Computer Interfaces: Proof of Concept
Developing Metrics for Surveillance Impact Assessment
A Service-oriented Approach for Flexible Information Resource Integration
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models
SOPView: A Visual Query and Object Browsing Environment for SOP OODBMS
Working sets today
The IEEE Computer Society's Second International Computer Software and Applications Conference, COMPSAC 1978, 13-16 November, 1978, Chicago, Illinois, USA
BitInfer: An Automated Field Semantic Inference Method Based on Genetic Algorithm
A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements
Investigation and Detection of Split Commit
Learning to Match Workers and Tasks via a Multi-View Graph Attention Network
A Bowel Sound Detection Method Based on a Novel Non-speech Body Sound Sensing Device
Using Semantic Web Technologies for RBAC in Project-Oriented Environments
Cloud Migration for SMEs in a Service Oriented Approach
Implementation and Evaluation of the Well-Distribution Algorithm for an Overlay Network
Approaches to implementation of multiple DRB stations in tightly-coupled computer networks
Software fault-tolerance in functional programming
Internet of Things-Based Framework to Facilitate Indoor Localization Education
Hot Set Identification for Social Network Applications
Reconstructing Judicial Digital Forensic Evidence Graphs from Legal Documents Using Large Language Models
A hierarchical coding of reduced picture information
Agile Adoption Story from NHN
Improving Fitness Function for Language Fuzzing with PCFG Model
A signature efficient solution for remote file comparison
Obtaining data base management system independence
Software Reliability Growth Modelling using aWeighted Laplace Test Statistic
Towards formal model for location aware workflows
Computer-assisted data communications engineering instruction
L1 - An Intermediate Language for Mixed-Protocol Secure Computation
Adaptive algorithm selection method (AASM) for dynamic software tuning
Human-in-the-loop online multi-agent approach to increase trustworthiness in ML models through trust scores and data augmentation
A Device for Transparent Probabilistic Packet Marking
Learning Priors of Human Motion With Vision Transformers
Enhancing Public Safety with Digital Twins for Indoor Air Quality Monitoring by Non-Experts
Parameter and Return-value Analysis of Binary Executables
A Location Analytics Algorithm to Analyze Geographic and Demographic Data for Restaurant Analytics
Self-Adaptive Step Counting on Smartphones under Unrestricted Stepping Modes
Automation Architecture for Bayesian Network Based Test Case Prioritization and Execution
Supervised and Unsupervised-Based Analytics of Intensive Care Unit Data
24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan
Digital Disruption: Investigating the Effects of Nighttime Technology Use on Researchers' Sleep Quality and Psychological Wellbeing
Operational Planning of a Home Energy Management System Using Regional Weekly Weather Forecasts to Mitigate Surplus Electricity
Social Media as a Lens for Understanding Public Trust in Science
OOHS: an Object-Oriented Hypermedia System
39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 1
PROMIS: A Management Platform for Software Supply Networks Based on the Linked Data and OSLC
Recommending Anchor Points in Structure-Preserving Hypertext Document Retrieval
Software engineering education the shift to object oriented programming
An Evaluation of Adaptive Traffic Engineering for Delivering High Bandwidth Movie on Overlay Routing Network
Criteria for selecting a family of software indicators
SGS: Mutant Reduction for Higher-order Mutation-based Fault Localization
Influence of Anchor Management on Anchored Navigation in Mobile Maps
Multi-Accelerator Neural Network Inference via TensorRT in Heterogeneous Embedded Systems
Delivering Dependable Reusable Components by Expressing and Enforcing Design Decisions
Simplifying the Design of Signature Workflow with Patterns
Enterprise Application Integration using a Component-based Architecture
A Service-Oriented Design Framework for Secure Network Applications
Automated Assessment in Mathematics
Using UML Activity Diagrams and Event B for Distributed and Parallel Applications
Security Metric for Networks with Intrusion Detection Systems having Time Latency using Attack Graphs
A Dew Computing Architecture for Smart Parking System with Cloud Image Recognition Service
An Empirical Study of Bug Fixing Rate
Development of Mobile Intercloud Applications
Pattern Recognition for Large-Scale and Incremental Time Series in Healthcare
A Cost-Based Replacement Algorithm for Object Buffers
Services-Oriented Dynamic Reconfiguration Framework for Dependable Distributed Computing
Building information system requirements using generic structures
Implementation of Network Traffic Monitor System with SDN
Implicit joins in the structural data model
Deploying OpenStack: Virtual Infrastructure or Dedicated Hardware
An effective "on-line" deadlock detection technique for distributed data base management systems
PCF programming model and FORTRAN bindings
MECPerf: An Application-Level Tool for Estimating the Network Performance in Edge Computing Environments
System Scaling for Large-scale Internet-Based Online Services
UML AD Refinement Patterns for Modeling Workflow Applications
New RSSI-Based LoRa Localization Algorithms for Very Noisy Outdoor Environment
Framework for Local Ambient Intelligence Space: The AmI-Space Project
What does a public data Internet do?
Spread of Anycast and GSLB
Real-Time Guarantees in Flexible Advance Reservations
Towards a Process Maturity Model for Open Source Software
Predicting Wildfire Burned Areas Using Graph Neural Networks
Performance analysis of optimistic concurrency control schemes with different rerun policies
Your Mouse Reveals Your Next Activity: Towards Predicting User Intention from Mouse Interaction
An algorithm for tree-query membership of a distributed query
Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993
Some practical considerations for management information systems
An Enhanced Autonomic Multiclass Multithreaded Web Server: A Performance Model Approach
Requirements are the New Code
Computing Reputation for Collaborative Private Networks
WiFi Radar: Design and Implementation of an Infrastructure-less Location Tracking System for Pervasive Environment
A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks
Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL
Software Cost Option Strategy Tool (S-COST)
User Interface Design: The WHO, the WHAT, and the HOW Revisited
23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA
Fission: Autonomous, Scalable Sharding for IoT Blockchain
Zero-Shot Hierarchical Classification on the Common Procurement Vocabulary Taxonomy
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations
Performance Evaluation of Cloud-Based Parallel Computing
Automated Dental Image Analysis by Deep Learning on Small Dataset
Same World Broadcasting: An Internet Broadcasting System for Real-Time Distributed Video Compositions
An Ironing Support System with Superimposed Information for Beginners
Metamorphic Testing of an Automated Parking System: An Experience Report
Integrating Knowledge Graphs and Bayesian Networks: A Hybrid Approach for Explainable Disease Risk Prediction
An Overrun Method to Support Composition of Semi-independent Real-Time Components
The Use of Metadata in Open Educational Resources Repositories: An Exploratory Study
Data Atomization: A Framework for On-Demand Association and Access Control of Sensitive Data
Test-Driven Summarization: Combining Formative Assessment with Teaching Document Summarization
Dynamic Hierarchy for Multiagent Air Combat
Software routing support for task migration in hypercube multiprocessor systems
Ensuring the Capability of COTS Products
A Petri-net-based Modeling Assisted Software Environment (MASE) tool
Exploring How to Support Software Revision in Software Non-intensive Projects Using Existing Techniques
The Java Data Mining Package - A Data Processing Library for Java
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures
Optimizing Non-orthogonal Space Distance Using PSO in Software Cost Estimation
Metamodel Recovery from Multi-tiered Domains Using Extended MARS
RIVER-MAC: A Receiver-Initiated Asynchronously Duty-Cycled MAC Protocol for the Internet of Things
A Runtime Verification Framework for Control System Simulation
Finding Suitable Course Material through a Semantic Search Agent for Learning Management Systems of Distance Education
Fault-tolerant distributed deadlock detection/resolution
Modeling and Verifying HDFS Using CSP
A Nonlinear Two-Parameter Model for the Spatial Analysis of Solar Irradiation
Modeling execution time of multi-stage N-version fault-tolerant software
Bayesian Neural Network Based Path Prediction Model Toward the Realization of Patent Valuation
IoT Malware Network Traffic Detection using Deep Learning and GraphSAGE Models
An Adaptive XACMLv3 Policy Enforcement Point
Towards an Open Architecture Model for Web and Mobile Software: Characteristics and Validity Properties
The Learning Effectiveness Analysis of JAVA Programming with Automatic Grading System
Limiting the Spread of Misinformation on Multiplex Social Networks
Code Coverage-Based Failure Proximity without Test Oracles
Functional Specifications of Object Oriented Systems: A Model Driven Framework
Contract-Based Formal Specification of Safety Critical Systems
Frameworks Built on the Trusted Platform Module
Virtual Learning and Pervasiveness of Depression Among University Students in the UAE
Interactive control of prototyping process
Life cycle support of navy airborne antisubmarine warfare tactical software
Copy-move Forgery Detection Using GLCM-Based Rotation-Invariant Feature: A Preliminary Research
Expert system based automatic network fault management system
Exploring Blueprints on the Prioritization of Architecturally Relevant Code Anomalies - A Controlled Experiment
Trusted Off-Chain Machine Learning Scheme Based on ZK -SNARK and Oracle
Design Scheme of Perceptual Hashing based on Output of CNN for Digital Watermarking
FECS: A Cluster Based Feature Selection Method for Software Fault Prediction with Noises
Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
Alternating Primary Subflow in MPTCP by External Program without Kernel Modification
eShadow+: Mixed Reality Storytelling Inspired by Traditional Shadow Theatre
AILiveSim: An Extensible Virtual Environment for Training Autonomous Vehicles
High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems
Multilanguage programming: an automatic-type-mapping approach
Process mayagement in a paging macmie
Verifying Java Programs By Theorem Prover HOL
Knowledge Based e-Health Surveillance System for Predicting Hospital Acquired Infections
Comprehensive Analysis of Dieting Apps: Effectiveness, Design, and Frequency Usage
Optimization of Electronic Health Record Through Local & International Standards: A Case from United Arab Emirates
Lightweight Classification of IoT Malware Based on Image Recognition
Making the Pedigree to Your Big Data Repository: Innovative Methods, Solutions, and Algorithms for Supporting Big Data Privacy in Distributed Settings via Data-Driven Paradigms
A Model for Selecting CSCW Technologies for Distributed Software Maintenance Teams in Virtual Organisations
Elevator Acceleration Sensing: Design and Estimation Recognition Algorithm Using Crowdsourcing
An approach to introduce the reflection to C++
A Modeling Approach to Big Data Based Recommendation Engine in Modern Health Care Environment
An Overview of the Internet File System
Design and Implementation Issues for Supporting Callback Procedures in RPC-Based Distributed Software
Preserving the Benefits of Open Government Data by Measuring and Improving Their Quality: An Empirical Study
A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework
Detecting Java Code Clones with Multi-granularities Based on Bytecode
Facilitating the Process Rate of Difference Determination within HTML after Web Page Events
A Pen-Grip Shaped Device for Estimating Writing Pressure and Altitude
Developmental testing of abstract data types
Predictability measures for software reliability models
A Cloud You Can Wear: Towards a Mobile and Wearable Personal Cloud
Intelligent microscopes: a scientific poem
Application of a neural network to human tasting
Blockchain: Future Facilitator of Asset Information Modelling and Management?
Data Analysis Methods for Health Monitoring Sensors: A survey
The Integration of Shared Storages with the CephFS and Rados Gateway for Big Data Accessing
State Space Approach to Security Quantification
Possibilistic Reasoning About Actions in Agent Systems
Abnormal Transaction Detection based on Graph Networks
Privacy Preserving Outlier Detection Using Hierarchical Clustering Methods
A Verifiable Secret Sharing Scheme without Using Multi-Party Computations
Interaction Physical-Activity Housekeeper for Silver-Haired Citizen Using Wireless Sensor and Mobile Healthcare iPhone
Analysis and Prediction of Endorsement-Based Skill Assessment in LinkedIn
A Multimodal Framework Integrating Clinical Data and Facial Recognition for Enhanced Stroke Prediction
A Discrete Model of IEEE 1588-2008 Precision Time Protocol with Clock Servo using PI Controller
Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN
Management of Flexible Transactions Using Semantics in Multidatabase Systems
Maintaining Performance of a Machine Learning System Against Imperfect Retraining
A Prototype of Model-Based Design Tool and Its Application in the Development Process of Electronic Control Unit
On the Impact of Scale-Free Structure on End-to-End TCP Performance
Twenty-First Century Software Production Paradigms
A Neural Network for Interpolating Light-Sources
Shared-latent Variable Network Alignment
An Empirical Investigation into the Effects of Code Comments on Issue Resolution
Initiating and Institutionalizing Software Product Line Engineering: From Bottom-Up Approach to Top-Down Practice
A four-project empirical study of software error prediction models
Automated Generation of Statistical Test Cases from UML State Diagrams
An Immersive Virtual Reality Platform for Training CBRN Operators
Towards Improving OCL-Based Descriptions of Software Metrics
DirectFlow: A Robust Method for Ocular Torsion Measurement
A Survey of Physiological Monitoring Data Models to Support the Service of Critical Care
Scheduling performance polymorphic computations in real-time systems
Leveraging summarization techniques in educational technology systems
An object-oriented methodology for end-user logical database design: the structured entity model approach
Panel II Formal Methods Applied in Industry: Success Stories, Limitations, Perspectives - Panel Introduction
Mindset for Software Architecture Students
Bench4Q: A QoS-Oriented E-Commerce Benchmark
Proposal and Evaluation of the Digital Certificate System with Sumi-coating Module for Privacy Protection
Software Project Management Net: A New Methodology on Software Management
Computer Simulation of the Inverse Problem of Electrocardiography
Message from SETA 2017 Symposium Chairs
A design process formalization
Towards Efficient and Secure Analysis of Large Datasets
Enforcement of integrity constraints against transactions with transition axioms
Model Based Testing of VHDL Programs
Another approach to system decomposition: requirements clustering
A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors
A Dynamic Countermeasure Method to Android Malware by User Approval
Metasynthetic Computing for Solving Open Complex Problems
Message from the SIS-SS 2018 Workshop Organizers
Predicting Release Time Based on Generalized Software Reliability Model (GSRM)
Feature-oriented software structuring
Improving E-Government through Benefit Analysis and Value Modeling
Who Would Bob Blame? Factors in Blame Attribution in Cyberattacks Among the Non-Adopting Population in the Context of 2FA
A Novel Architecture for Cyber-Resilient Self-Protecting Systems Based on Blockchain
Modern Architecture for Deep Learning-Based Automatic Optical Inspection
A Taxonomy and Hierarchy of Variability Dependencies in Software Product Family Engineering
Using Autonomous Air Vehicle in DTN Sensor Network for Environmental Observation
Model-Driven Optimization of Data-Adaptable Embedded Systems
Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, USA, 21-25 September, 1992
A Smart Cyber-Human System to Support Mental Well-Being through Social Engagement
Message from the QUORS 2018 Workshop Organizers
Multiprocessor-controllers for mechanical manipulators
An Intelligent Tracking System: Application to Acute Respiratory Tract Infection (TrackARTI)
Design and implementation of a query command language using transition networks
Visualization Method Using Probe Bicycle to Analyze Bicycle Rider's Control Behavior
VRvisu++: A Tool for Virtual Reality-Based Visualization of MRI Images
Flexible Access and Priority Control System Based on 802.1X Authentication in Time of Disaster
Application of Maximum Entropy Principle to Software Failure Prediction
Dynamic On-line Object Update in the Grumps System
A Plugin for Kotlin based Android Apps to Detect Security Breaches through Dataflow
Statistical Analysis of Food, Exercise, and HbA1c in Non-Diabetics
A Catalog for Historical Soundscapes Requirements
Detecting Event-synced Navigation Attacks across User-generated Content Platforms
Dynamically Exposing and Controlling Physical Devices by Expanding Web of Things Scheme
Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs
Swarm Intelligence in the Optimization of Software Development Project Schedule
FECAR: A Feature Selection Framework for Software Defect Prediction
A New Mesh-Based Temporal-Spatial Segmentation for Image Sequence
Hybrid Teaching Based on a 4C Model-Based Framework
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
Feature Boosting in Natural Image Classification
Using a Hypervisor to Migrate Running Operating Systems to Secure Virtual Machines
An Information Theoretic Learning for Causal Direction Identification
A View-Based Control Flow Metric
Multi-layer and Multi-domain Network Orchestration and Provision of Virtual Views to Users
Beyond One-Size-Fits-All: GPT-Enabled Personalization of Academic Content for Neurodiverse Students
Defending Battery Exhaustion Attacks on Mobile Systems
41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1
KLMR: a knowledge language for model realization
A Hierarchical Reliability Model of Service-Based Software System
Object-oriented programming in a conventional programming environment
Knowledge Reuse through the Application of the Object Knowledge Canonical Form
Identifying Software Decompositions by Applying Transaction Clustering on Source Code
Evaluation and Analysis of Spectrum-Based Fault Localization with Modified Similarity Coefficients for Software Debugging
A Schema Intergration Architecture for Multidatabase Systems
Intrusion Detection Techniques in Wireless Ad Hoc Networks
What Is SINS?
On Modeling Data Mining with Granular Computing
Specification of user-interfaces using CRUISE/OBSERV
SQL Murder Mystery: a serious game to learn querying databases
Implementing an Open-Access, Data Science Programming Environment for Learners
Modified Memetic Self-Adaptive Firefly Algorithm for 2D Fractal Image Reconstruction
Novel Facial Expression Recognition by Combining Action Unit Detection with Sparse Representation Classification
Business Rules Specification, Enforcement and Distribution for Heterogeneous Environments