yusuke1997/dblp-id-title huggingface dataset:
Ultrasonic Sensor Network System Utilizing New Timing Synchronization of a ZigBee Network for Ecology Observation
An Early Warning System for Hemodialysis Complications Utilizing Transfer Learning from HD IoT Dataset
Evolutionary drawing formalization in an engineering database environment
Modeling of Short-Term Electricity Demand and Comparison of Machine Learning Approaches for Load Forecasting
Unveiling Hidden Anomalies: Leveraging SMAC-LSTM for Enhanced Software Log Analysis
Internet Procurement of Formosa Plastics
Regression Slicing and Its Use in Regression Testing
m-cloud - Distributed Statistical Computation Using Multiple Cloud Computers
Active Surroundings: A Group-Aware Middleware for Embedded Application System
Modular Certification of Low-Level Intermediate Representation Programs
FireSense: Integrating Deep Learning with ESP32 Microcontrollers for Enhanced Forest Fire Surveillance
A Multi-agent Architecture for NATO Network Enabled Capabilities: Enabling Semantic Interoperability in Dynamic Environments (NC3A RD-2376)
An Evaluation Model for Dependability of Internet-Scale Software on Basis of Bayesian Networks
A Customized Visiting Route Service under RFID Environment
An Automation Tool Converting Test Steps into Keywords for Automated Test Development
Using computational learning theory to analyze the testing complexity of program segments
Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs
A proposed parallel software testing paradigm
Knowledge-driven distributed information systems
STPChain: a Crowdsourced Software Engineering Method for Software Traceability and Fine-grained Privacy Based on Blockchain
Elicitation of Goals in Requirements Engineering Using Agile Methods
Detection of Behavioral Health Cases from Sensitive Police Officer Narratives
Task driven image understanding: lisp programming for vision research
SDA-GRIN for Adaptive Spatial-Temporal Multivariate Time Series Imputation
A Multi-Agent Software Environment for Testing Web-based Applications
Teaching Test-First Programming: Assessment and Solutions
Distinguishing Between Science and Action in Climate Discourse on Reddit
Life Cycle Management Concepts for Air Force Computer Resources
Mapping Petri Nets to Parallel Programs in CC++
Opportunistic Network Routing Strategy Based On Node Sleep Mechanism
Improving the Behavior of Evasive Targets in Cooperative Target Observation
An Optimization Method for Real-Time Natural Phenomena Simulation on WinCE Platform
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
A Deep Learning Approach for Assessment of Breast Aesthetic Score and Keypoint Localization
Blockchain as an Audit-Able Communication Channel
An Expanded View of Domain Modeling for Software Analogy
Object-oriented methods-why we need them
Test Case Selection in Continuous Regression Testing Using Machine Learning: An Industrial Case Study
Using Smartwatches as an Interactive Movie Controller: A Case Study with the Bandersnatch Movie
Semantic and object-oriented database support for software environments
Object-Oriented Software Specification in Programming Language Design and Implementation
Distributed Big Data Computing for Supporting Predictive Analytics of Service Requests
Dynamic Data Flow Processing in Edge Computing Environments
Management of OSGi Device Using PUCC Protocols and Metadata
A Data Scheduling Method for Video-on-Demand Systems on Radio Broadcasting Environments
Dew Intelligence: Federated learning perspective
Safety Requirements Specification and Verification for Railway Interlocking Systems
Minimization of task turnaround time for distributed systems
Verifiable program construction in a user-friendly style
Spatio-Temporal Volume Data Aggregation for Crowdsensing in VDTN
Methodologies for meeting hard deadlines in industrial distributed real-time systems
An Interaction Instance Oriented Approach for Web Application Integration in Portals
A Calculus for Transportation Systems
High performance massively parallel abstract data type components
Enforcing Optimal Moving Target Defense Policies
Smart SE: Smart Systems and Services Innovative Professional Education Program
An Experience Report on Architecture Development
Salome platform component model for numerical simulation
A tool specification language for software maintenance
A Game-Theoretic Incentive Model for DAO Governance
Traceability in Systems Engineering: An Avionics Case Study
An Interface Theory Based Approach to Verification of Web Services
Detection of Freezing of Gait in People with Parkinson's Disease using Smartphones
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2
Automated Generation of Integration Test Sequences from Logical Contracts
Lane Change Detection Algorithm on Real World Driving for Arbitrary Road Infrastructures
Joint COMPSAC/SAINT 2011 Panel: International Perspectiveson Computed World: Software Beyond the Digital Society
An Automated ACL Generation System for Secure Internal Network
A Federated Learning Framework Based on Spatio-Temporal Agnostic Subsampling (STAS) for Forest Fire Prediction
ParC project: practical constructs for parallel programming languages
31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1
Does This Code Change Affect Program Behavior? Identifying Nonbehavioral Changes with Bytecode
Object-Oriented Model Refinement Technique in Software Reengineering
Position Statement: Advances and Challenges of Software Engineering
Dynamically Optimized Production Planning Ssing Cross-Layer SOA
Time-Triggered Message-Triggered Object Modeling of a Distributed Real-Time Control Application for Its Real-Time Simulation
Aphluentia: Supporting Communication for People with Fluent Aphasia
BitBooster: Effective Approximation of Distance Metrics via Binary Operations
Dependence Based Model-Healing
Message from the CFSE 2018 Workshop Organizers
EtherGIS: A Vulnerability Detection Framework for Ethereum Smart Contracts Based on Graph Learning Features
Semi-Supervised Learning Based on Cataract Classification and Grading
Adaptation Space Reduction Using an Explainable Framework
Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage
Performance Evaluation of MQTT Communication with Heterogeneous Traffic
The Cost of Syntax and How to Avoid It: Text versus Frame-Based Editing
25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA
A Survey on Blockchain-Based Federated Learning and Data Privacy
Blurred Facial Recognition Based on AdaFace
3D Support for Business Process Simulation
A BPEL4WS Extension to Develop and Execute Grid Service Workflow Application
The Empirical Studies on Quality Benefits of Reusing Software Components
Transformational Specification of Complex Legacy Real-Time Systems via Semantic Anchoring
Emotion Detection in Law Enforcement Interviews
Concept Representation and Its Role in Artifact Development
Transitioning from Product Line Requirements to Product Line Architecture
Collaborative Web Services Monitoring with Active Service Broker
Recovery Technique Based on Fuzzy Checkpoint in a Client/Server DataBase System
Intelligent vs. unintelligent programming systems for novices
Online Nonstationary and Nonlinear Bandits with Recursive Weighted Gaussian Process
Affective Robot Enabled Capacity and Quality Improvement of Nursing Home Aged Care Services in Australia
Integration-a multi-faceted challenge [hospital systems]
Best-match querying in general database systems-a language approach
Smartphone Sensors for Modeling Human-Computer Interaction: General Outlook and Research Datasets for User Authentication
Towards a Secure Database Integration Using SLA in a Multi-cloud Context
Near optimal behaviour of the packet switching broadcast channel
Semiparallel execution of compiled Lisp programs
Quality Models Reuse: Experimentation on Field
Cardiac Age Estimation Using Genetic and Sphygmographic Data
Message from EATA Symposium Chairs
Towards Context Modeling for Algorithm Animation
Cartesian Programming: The TransLucid Programming Language
A Scalable Approach to Avoid Incast Problem from Application Layer
Taxi Demand Prediction using an LSTM-Based Deep Sequence Model and Points of Interest
Message from the UCDAS Workshop Organizers
An Integrated Memory and SSD Caching I/O Subsystem
Easy Access to Provenance: An Essential Step Towards Trust on the Web
A Novel Algorithmic Trading Strategy using Hidden Markov Model for Kalman Filtering Innovations
Similarity Calculation Model Between Patients with Chinese Electronic Medical Records Based on Multi-View Hierarchical Leaning Network
Query-by-pictorial-example
On processor allocation in hypercube multiprocessors
Adaptive Time-Critical Resource Management Using Time/Utility Functions: Past, Present, and Future
The Design and Implementation of a Bare PC Email Server
CALIGRAPHI - Creation of Adaptive Dialogues Using a Graphical Interface
ThermoCam: Smart Baby Monitoring Assistant
Uncovering the Interpretation of Large Language Models
Texture Based Vein Biometrics for Human Identification: A Comparative Study
FROM Syntax to Semantics: An OER-Powered SQL Learning and Visualisation Tool
CAPIS Model Based Software Design Method for Sharing Experts' Thought Processes
Panel 5: Cloud Computing for Developing Countries Panelists
Automated protocol modeling and verification combining an entity-based specification language and Petri nets
A Design Pattern for Autonomous Vehicle Software Control Architectures
Improving Software Quality Requirements Specifications Using Spectrum Analysis
A Web Application For Studying Collusion Attacks Through Friend Search Engine
Systematic Composition and Verification of Abstract Components
Apsaras: Efficient Allocation of Physical Devices for Android Testing
WS-TemporalPolicy: A WS-Policy Extension for Describing Service Properties with Time Constraints
A Novel Intrusion Detection System Model for Securing Web-based Database Systems
On Similarity Measures for Cluster Analysis in Clinical Laboratory Examination Databases
Colored Petri Net Reusing for Service Function Chaining Validation
Interactively Decomposing Composite Changes to Support Code Review and Regression Testing
Implementing an Agent System Using N-tier Pattern-Based Framework
Integrating Attack-Fault Trees in the ODE Metamodel to Support Safety and Security Co-Analysis in the Automotive Domain
Multimodal Machine Learning for Credit Modeling
Priority Assessment of Software Requirements from Multiple Perspectives
How to Fit the SCC Algorithm Efficiently into Distributed Graph Iterative Computation
AOP-based Testability Improvement for Component-based Software
The Concepts and Ontology of SiSL: A Situation-Centric Specification Language
Power Transmission Control Using Distributed Max Flow
Early Software Reliability Prediction with Extended ANN Model
Decomposition and Traceability in Software Design
An IoT Platform for Civil Infrastructure Monitoring
Multi-node Network Based Control and Data Acquisition System for a VHF Radar Depth Sounder
Application of Design Patterns for the Self-Development of a Java Preprocessor
Supporting Consistency in the Heterogeneous Design of Safety-Critical Software
Matrix-based Change Impact Analysis for Component-based Software
Software Safety Verification Framework based on Predicate Abstraction
A Context-Aware Policy Model to Support Autonomic Networking
OpenFlow Modeling Based on CPN for Evolution Consideration and Executable Test Case Generation
Message from the MediComp Workshop Organizers
Towards an Information Extraction System Based on Ontology to Match Resumes and Jobs
Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems
Choices in database workstation-server architecture
SINETStream: Enabling Research IoT Applications with Portability, Security and Performance Requirements
Enhanced Detection of Crisis-Related Microblogs by Spatiotemporal Feedback Loops
CoMDet: A Contrastive Multimodal Pre-Training Approach to Encrypted Malicious Traffic Detection
Machine Learning Assisted High-Definition Map Creation
An Approach to Explore Mobile Software Engineering Advances in Cloud Computing Environment
Modelling the Design for an SOA System to Control a Small Scale Energy Zone
A survey and methodology of reconfigurable multi-module systems
Top 10 Computer Science Open Educational Resources in MERLOT
Protein Functional Motion Query and Visualization
Signal Processing Based Method for Real-Time Anomaly Detection in High-Performance Computing
Addressing Security Issues in the eHeatlh Domain Relying on SIEM Solutions
A new control flow representation
A Secure Mobile Agent System Model Based on Extended Elementary Object System
A Novel Timing Model for Neural Networks in Safety-critical Systems
LIBNVCD: An Extendable and User-friendly Multi-GPU Performance Measurement Tool
Hybrid Consensus Networks for Scalable and Secure Internet of Vehicles
Has the Social Robot Been Hacked? An Emotion Detection System with Distance-Range Parameters for Feature Selection
Mechanism Design for Replica Placement in Peer-Assisted Content Delivery Networks with Heterogeneous Behavior Models
Research on Deep Clustering Based Trajectory Frequent Pattern Mining
Towards Extracting Semantics of Network Config Blocks
Research on Network Awareness of Enterprise Evaluation System Indicators
Cardiovascular Health Management Compliance with Health Insurance Portability and Accountability Act
Advanced, Privacy-Preserving and Approximate Big Data Management and Analytics in Distributed Environments: What is Now and What is Next
Vegetation Land Cover and Forest Fires in Canada: An Analytical Data Visualization
Design and implementation of the high performance integrated voice/data (IVD) token ring protocol
A Contrastive Learning Approach to Bug Severity Classification with Large Language Model Embeddings
Trust Management in a Distributed Environment
An Approach to Real-Time Fall Detection based on OpenPose and LSTM
Software Products Quality Improvement with a Programming Style Guide and a Measurement Process
A Technique to Reduce the Test Case Suites for Regression Testing Based on a Self-Organizing Neural Network Architecture
An Intelligent Broker Approach to Semantics-Based Service Composition
Supporting Concept Assignment in the Comprehension of Web Applications
Unified Property Specification for Hardware/Software Co-Verification
Breaking the Barrier with a Multi-Domain SER
Error-Based Software Testing and Analysis
Analyzing Reconfigurable Algorithms for Managing Replicated Data with Strict Consistency Requirements: A Case Study
When graphs meet game theory: a scalable approach for robotic car racing
Trust Services: A Framework for Service-Based Solutions
From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems
GenLog: Accurate Log Template Discovery for Stripped X86 Binaries
Coordination of software-development activities among sites that are geographically separated
Reengineering Legacy Systems Using Web
Chinese Social Media Entity Linking Based on Effective Context with Topic Semantics
Perceived benefits of Continuous Deployment in Software-Intensive Embedded Systems
A Late Fusion Approach Using CSNNs for Multi-Modal Toxicity Detection in Online Media
Comparing Health Outcomes in San Francisco and Boston Metro Areas
IoT Malware Analysis
Software Reliability Model with Coxian Distribution of Length of Intervals between Errors Detection and Fixing Moments
Knowledge Graph Generation for Unstructured Data Using Data Processing Pipeline
Spatiotemporal Helixes for Modeling Environmental Data
Towards Concurrent Audit Logging in Microservices
Utilising Abstration Techniques and Gaming Theory for Developing Intangible Cultural Heritage
Evaluating YOLOv8 for On-Device Person Detection: Performance and Efficiency on Android Smartphones
SIM-PIPE DryRunner: An approach for testing container-based big data pipelines and generating simulation data
CLIO - A relational data base management system
Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem
Evaluating Software Maintenance Cost Using Functional Redundancy Metrics
Industrial Experiences of Organizing a Hackathon to Assess a Device-centric Cloud Ecosystem
Distributed System Resource Management Infrastructure for Information Quality Assurance
Message from the Doctoral Symposium Co-Chairs
Two-Level Variability Analysis for Business Process with Reusability and Extensibility
Enhancing the Detection of Anomalous Concurrent Artifact Operations in a Structured Workflow
Cloudifying User-Created Content for Existing Applications in Mobile Devices
Human Gait Recognition Based on Integrated Gait Features using Kinect Depth Cameras
Dataset Size and Machine Learning - Open NMR Databases as a Case Study
SPV: Formal Verification of Stateful Parallel SFC Correctness
Lightweight Early-Warning Bot Detection on X (Twitter): Temporal Patterns and Entropy Insights
A Game-Theoretic Analysis of Pricing Competition between Aggregators in V2G Systems
Recommender Systems Based on Autoencoder and Differential Privacy
MaGnn: Binary-Source Code Matching by Modality-Sharing Graph Convolution for Binary Provenance Analysis
Refactoring Steps, Java Refactorings and Empirical Evidence
Requirements Analysis Using Feedback from Context Awareness Systems
Evaluating Reliability-Testing Usage Models
Architectural Concepts: Evolution of a Software System across Design and Implementation Stages in Dynamically Changing Environments
A Semantics-Based Privacy-Aware Approach for Fragmenting Business Processes
Evaluation of the Performance Impact of SPM Allocation on a Novel Scratchpad Memory
Model Checking with Induction
A software engineering, visualization methodology for parallel processing systems
A Petri Net-Based Byzantine Fault Diagnosis Method for Service Composition
SCCM: Service-Oriented Community Coordinated Multimedia Architecture
TTED-PU: A Transferable Tax Evasion Detection Method Based on Positive and Unlabeled Learning
Proposal and Evaluation of Methods Using the Quantification Theory and Machine Learning for Detecting C&C Server Used in a Botnet
Nurses' Perceptions about Champs Tool Trials In The Pediatric Ward
A Reengineering Process for Migrating from an Object-oriented Legacy System to a Component-based System
Process dependence net of distributed programs and its applications in development of distributed systems
Fully Automatic Intervertebral Disc Segmentation Using Multimodal 3D U-Net
Comparison of Methods for Automatically Predicting CVSS Base Vector
Managing Networks Independently of the Physical Topology by Service Defined Network
A Novel Integrated Architecture for Ambient Assisted Living Systems
On the Composibility of Design Patterns: Extended Abstract
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects
Development of the Edge Computing Platform Based on Functional Modulation Architecture
Meta Reconfiguration of Adaptive Middleware Using Semantic Web and Context Information
Software Architectural Modeling of the CORBA Object Transaction Service
A Study on Bottleneck Bandwidth Estimation Based on Acknowledge Reception on TCP BBR
A Component-Based Model and Language for Wireless Sensor Network Applications
Onion: A Graphical Language for Process Algebra
A Microprocessor Operating System for Real-Time Applications
Agent Protection Based on the Use of Cryptographic Hardware
40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016
Design and Implementation of Action History View Mechanisms for Hypermedia Systems
Condensing Class Diagrams With Minimal Manual Labeling Cost
A management approach to total computer productivity at Goddard Space Flight Center
Roles of the data dictionary system
Spectrum Analysis for Software Quality Requirements Using Analyses Records
Testing expert systems using conventional techniques
An Extended Abstract of "Metamorphic Testing: Testing the Untestable"
Towards Aggregation Based I/O Optimization for Scaling Bioinformatics Applications
Recovering Traceability Links between Code and Documentation for Enterprise Project Artifacts
Fault Localization Method Generated by Regression Test Cases on the Basis of Genetic Immune Algorithm
A programmable system for software configuration management
Object Oriented Design for a Distributed Priority Queue
An Integrated Software Development Environment with XML Internal Representation
geoXmart - A Marketplace for Geofence-Based Mobile Services
A Petri net-based distributed debugger
Bayesian Model Averaging of Bayesian Network Classifiers for Intrusion Detection
BINDIS 2008 Workshop Organization
ELKAR: A Component Based Re-engineering Methodology to Provide Cooperation
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets
Introducing formality into the software development process: experience with a software project course
An integrated expert system framework for software quality assurance
An introduction to the portable parallel programming language Seymour
Adaptive Control Software: Can We Guarantee Safety?
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP
Access Control Model for the Inference Attacks with Access Histories
E-LDAC: A High-Accuracy Method for Predicting Bursty Latency in 5G Networks
Modeling and Control of the Incremental Software Test Process
Development and optimization of a text compression/decompression algorithm
The Impact of Combining Inbound and Outbound Demand in City Logistics Systems
Security Issues for the Semantic Web
ASSET: A Lifecycle Verification and Visibility System
Designing SSD-Friendly Applications for Better Application Performance and Higher IO Efficiency
Braille Text Entry on Smartphones: A Systematic Review of the Literature
COMPSAC '98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria
An Open-Source ACASI Design for Social Collaborative mHealth
Toward A High-Performance Emulation Platformfor Brain-Inspired Intelligent SystemsExploring Dataflow-Based Execution Model and Beyond
A Toolkit for Developing Web-based Information Systems: Case Studies
Discovering Implicit Operational Knowledge by Identifying Business Processes that Involve Multiple Organizational Entities
Experimental Comparison of Pure Flooding and Its Variants on Raspberry Pi in Small Scale Ad Hoc Networks
Stateflow to Extended Finite Automata Translation
Message from the AMIL 2018 Workshop Organizers
A Study on Comparative Analysis of End-to-End Routing and Opportunistic Routing
Fine-Tuned Variational Quantum Classifiers for Cyber Attacks Detection Based on Parameterized Quantum Circuits and Optimizers
Open Source Fog Architecture for Industrial IoT Automation Based on Industrial Protocols
Detecting Null Pointer Violations in Java Programs
A Drift Propensity Detection Technique to Improve the Performance for Cross-Version Software Defect Prediction
An external debugging system for weapon system programs written in a higher level language
Authentic Learning Approach for Data Poisoning Vulnerability in LLMs
LSFuzz: Learning Adaptive Seed Selection Strategies for Fuzzing
Talking with Computers about the Future We Shall Share
A Parallel Implementation Strategy of Adaptive Testing
Lightweight Classifier for Obfuscation Methods for IoT Devices
Software Reliability Prediction for Open Source Software Adoption Systems Based on Early Lifecycle Measurements
Concurrent access to point data
Specifying Communication Behaviours between Components with Real-Time rCOS - A Case Study ATP
Comprehensive Feature Extraction for Cross-Project Software Defect Prediction
Token Based Energy-efficient Offloading Schemes for IoV Networks
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems
Connected component labeling using self-organizing feature maps
Real-Time Strategy and Practice in Service Grid