yusuke1997/dblp-id-title huggingface dataset:
Low-level processing for real-time image analysis
A framework approach to the development of AI applications
A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems
Towards Emotion-awareness in Programming Education with Behavior-based Emotion Estimation
FATDOG: Hadoop Based Test Data Generation Tool for RESTful Web Service
Representing and Reasoning about Web Access Control Policies
Infrastructure Hardening: A Competitive Coevolutionary Methodology Inspired by Neo-Darwinian Arms Races
Executable assertion development for the distributed parallel environment
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study
27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings
A Petri Net-Based Method for Data Validation of Web Services Composition
Towards Continuous Deployment at Scale in Software-Intensive Embedded Systems: A Maturity Model from the Telecommunications Domain
Foolproofing and quality feedback: keys of process-based management
Synchronous Set-Based Particle Swarm Optimization: Heuristics for Portfolio Optimization
A metalanguage based on a theory of specification
Coordination of Systems with Real-Time Properties in Manifold
Cyber Foraging and Offloading Framework for Internet of Things
Message from the BIOT Workshop Organizers
A Privacy-Preserving Cloud Computing System for Creating Participatory Noise Maps
Future Trends of Software Technology and Applications: The Phone is the Computer
Adaptive Scenario-Based Object-Oriented Test Frameworks for Testing Embedded Systems
Privacy-Preserving Two-Party k-Means Clustering in Malicious Model
Experiences Integrating Heterogeneous Government Open Data Sources to Deliver Services and Promote Transparency in Brazil
Proposal for Combinatorial Optimization Technology in Consideration of the Dynamic Characteristic of IT Risks
Model-Based Testing for Enterprise Software Solutions
Dynamic window configuration in an object oriented programming environment
Enhanced SA for requirements analysis
A Study on Migration Technique Using Program Slicing for Large-Scale Information and Control Systems
An experimental evaluation of data abstraction
Code-Change Impact Analysis Using Counterfactuals
Automated Inference of Dependencies of Network Services and Applications via Transfer Entropy
An Agent-Based Testing Approach for Web Applications
Research directions in collaborative applications
A Real-Time and Low-Cost Flash Flood Monitoring System to Support Transportation Infrastructure
EasyCloud: Multi-clouds made easy
Practical Autonomic Computing
Multiple Home Agent Placement Considerations Based on Internet Service Provider Perspective in MobileIPv6
Security Risk and Attacks in AI: A Survey of Security and Privacy
Hardware/Software Partitioning for Telecommunications Systems
Development of a Secure Traffic Analysis System to Trace Malicious Activities on Internal Networks
Ant Colony Optimization for Deadlock Detection in Concurrent Systems
Message from the CDS 2018 Workshop Organizers
GRETA: Graph-Based Tag Assignment for GitHub Repositories
Message from the MidCCI 2015 Workshop Organizers
Ontology-Based Classification of Non-functional Requirements in Software Specifications: A New Corpus and SVM-Based Classifier
A temporal model for transparent monitoring of shared-memory multiprocessors
Software evolution using the SEER data base
Performance Enhancement of Web-Based Push Transmitter with Channel Scheduling
Integration of a Relational Database with Multimedia Data
Runtime Anomaly Detection in Embedded Systems by Binary Tracing and Hidden Markov Models
An Approach to Model-Based Development of Context-Aware Adaptive Systems
Computer Network Intrusion Detection, Assessment And Prevention Based on Security Dependency Relation
Analyzing Happiness: Investigation on Happy Moments using a Bag-of-Words Approach and Related Ethical Discussions
Indexing Multilingual Information on the Web
A Static Java Birthmark Based on Control Flow Edges
Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network
The ReqWiki Approach for Collaborative Software Requirements Engineering with Integrated Text Analysis Support
Safety and Security Co-Analyses: A Systematic Literature Review
Message from the SSS-MediComp 2015 Workshop Organizers
Opusdei-Integrated Environment for Software Development and Maintenance
Position statement: Can testing prove software has no bug?
Message from the SETA Organizing Committee
Safety in Automotive Software: An Overview of Current Practices
A Semiformal Correctness Proof of a Network Broadcast Algorithm
Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems
A software engineering approach to data base systems
EINSPECT: Evolution-Guided Analysis and Detection of Malicious Web Pages
Risk Measure Propagation through Organisational Network
MamT 4 : Multi-View Attention Networks for Mammography Cancer Classification
One-Way Free Floating Car-Sharing: Applying Vehicle-Generated Data to Assess the Market Demand Potential of Urban Zones
Estimating recursive query costs for various parallel environments
A horizontal approach for software process improvement
A Component Model for the AUTOSAR Virtual Function Bus
Performance Evaluations of Vector-Raster Satellite Image Transfers through Web Services
Novel Data-Driven Resilient Portfolio Risk Measures Using Sign and Volatility Correlations
Towards Model-Based Policy Design Methods for More Effective Spectrum Allocation
Recovering Software Product Line Architecture of Product Variants Developed with the Clone-and-Own Approach
On Detection Conditions of Double Faults Related to Terms in Boolean Expressions
Management of Virtual Memory Systems under High Performance PCM-based Swap Devices
A Know-How Recommendation System for a Software Engineering Project Course by Using the Content Filtering Technique
A Structural Analysis of SLAs and Dependencies Using Conceptual Modelling Approach
Efficient Discovery of Traveling Companion from Evolving Trajectory Data Stream
Cooperative and Group Testing in Verification of Dynamic Composite Web Services
ToolManager: A Tool for Management of CASE Tools
DEMOM-A description based media object data model
TTP: Secure ACID Transfer Protocol for Electronic Ticket between Personal Tamper-Proof Devices
YOLO-based Panoptic Segmentation Network
Effective Multi-Fault Localization Based on Fault-Relevant Statistics
FSaaS: File System as a Service
High-Recall Information Retrieval from Linked Big Data
An Autonomous Decentralized System Architecture for Distributed Information and Control Systems
Protection of Intellectual Property in Web Communities by Modular Digital Watermarking
A Cooperated Data Management Platform for Coronary Heart Disease Early Identification and Risk Warning Research
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example
The technology of system management
Buffer Overrun Prevention Through Component Composition Analysis
Rights Protection for Digital Contents Redistribution Over the Internet
Generating Host-Based Data from Network Traces for Intrusion Detection
Automated Reasoning with Goal Tree Models for Software Quality Requirements
New Graphic Polyglot Concept of Programming
Statistical Algorithms and Software for Genomics
Development of the TUG specification language to support specification reuse
The RDFa Content Editor - From WYSIWYG to WYSIWYM
Practical Enhancement and Evaluation of a Low-Latency Network Model Using Mobile Edge Computing
Matchmaking Using Natural Language Descriptions: Linking Customers with Enterprise Service Descriptions
Software Process Disturbances
Optimized NLP Models for Digital Twins in Metaverse
A-CLAPS: Automatic Correction of Language and Pronunciation Errors in Slide-based Presentations
Reflective, Model-Based Data Access with the Type-Safe Entity Container
ConC++: A Concurrent C++
Automated Model-Based Performance Testing for PaaS Cloud Services
Message from the QUORS 2015 Workshop Organizers
Using Domain Knowledge to Assist Process Scenario Discoveries
Fetal Heart Rate Monitoring System (FHRMS)
Impact of Aspect-Oriented Programming on Software Performance: A Case Study of Leader/Followers and Half-Sync/Half-Async Architectures
SLC25A36 and ZFAND5 Expression Levels Altered by the Interaction of EtOH Dosage and Exposure Time in Human Dental Pulp Stem Cells
A Model Expansion Method in Schema-Based Model Evolution
A Formal Approach to Pre-Market Review for Medical Device Software
Air pollution monitoring by computed tomography
Correctness of concurrency control and implications in distributed databases
Improving Blended Learning Outcomes Through Academic Social Media
PaaS-Oriented Performance Modeling for Cloud Computing
Test Case Generation for Collaborative Real-time Editing Tools
CGAN-IRB: A Novel Data Augmentation Method for Apple Leaf Diseases
Using Object-Oriented Big Data Analytics to Reveal Server Performance Dead Zone
An Architecture for Verification of Access Control Policies with Multi Agent System Ontologies
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
Quality-Driven Self-Adaptation: Bridging the Gap between Requirements and Runtime Architecture by Design Decision
A Resource-Saving Approach for Adding Redundancy to a Network-on-Chip System
Team Factors and Failure Processing Efficiency: An Exploratory Study of Closed and Open Source Software Development
Designing an Efficient Fuzzy classifier Using an Intelligent Genetic Algorithm
Information caching in the execution of logic programs
Deployment of Services Applications in Services Execution Environments
LANTENNA: Exfiltrating Data from Air-Gapped Networks via Ethernet Cables Emission
On the Effectiveness of Link Addition for Improving Robustness of Multiplex Networks against Layer Node-Based Attack
Theoretical, Weak and Strong Accuracy Graphs of Spectrum-Based Fault Localization Formulas
Directions for software technology
Contraindications, Precautions, Overdoses, and Adverse Reactions: What Software Engineering Can Learn from Pharmaceuticals
Process Patterns for Web Engineering
Comprehensive Analysis of the Therapeutic Effects and Mechanisms of Herbal Medicine Through Network-Based Methods
Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems
Testing Coverage Analysis for Software Component Validation
Configuration Strategies for Evolutionary Testing
Formal Methods for Trustworthy Mobile Computing
Software Industry in Taiwan
Process Construction - An Overview
A Functional Approach to Agent Development: Research Agenda
Some Domain Patterns in Web Application Framework
Experiences of collecting and using software metrics in industry
Removing Software Vulnerabilities During Design
Data Provenance for healthcare: a blockchain-based approach
Java in Industrial Automation - A Virtual PLC
Toward Exploiting Access Control Vulnerabilities within MongoDB Backend Web Applications
An Empirical Evaluation of Algorithms for Data Labeling
ALICE: an assertion language for integrity constraint expression
Materializing Ubiquitous Computing Environments
Concurrent system design with box structures
A comprehensive and aggressive quality assurance program as a foundation for improving software productivity
A general purpose microcode assembler
An Integrated Framework for Checking Concurrency-Related Programming Errors
Transparent IDS Offloading for Split-Memory Virtual Machines
Tool for Analysis and Simulation of TTCAN Communication in Distributed Systems
A Petri Net-Based Algorithm for RFID Event Detection
Building a Body of Knowledge on Model Checking for Software Development
A Systematic Literature Review of Machine Learning Applications for Process Monitoring and Control in Semiconductor Manufacturing
Hiding Sensitive Patterns in Association Rules Mining
Test Case Mutation in Hybrid State Space for Reduction of No-Fault-Found Test Results in the Industrial Automation Domain
Boot Log Anomaly Detection with K-Seen-Before
KAPSEL - Programming within Boundaries
Design and Implementation of Secure Prefetch Mechanism for Multi-step Name Resolution in DNS
The Role of Architecture in the Development of Software Systems
Computer analysis of radionuclide hepatobiliary studies
DTN-Knca: A High Throughput Routing Based on Contact Pattern Detection in DTNs
Automatically Characterising Components with Concerns and Reducing Tangling
A partitioning method for grid file directories
Implementing a PHP API Gateway Based on Microservices Architecture
Recovering "Lack of Words" in Text Categorization for Item Banks
A Decision Model Supporting Cooperative Work as an Experience Package
Transformation Rules for Synthesis of UML Activity Diagram from Scenario-Based Specification
Construction of file management systems from software components
Model-integrated system development: models, architecture, and process
Conformance Testing of WS-BPEL Compositions under Various Load Conditions
Middleware for RFID Systems: An Overview
Reengineering Support for Software Evolution: An Evaluation through Case Study
Computing with real world: a fuzzy duration calculs
A Naive Bayes Approach for Detecting Coordinated Attacks
Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective
Rule and Matroid Theory
Lagrangian Techniques for Solving a Class of Zero-One Integer Linear Programs
A Knowledge-Based Development Approach with Fact and Service for End-User in Cloud Computing
SILK: Constraint-guided Hybrid Fuzzing
Designing Good Security Metrics
Panel: transferring object-oriented technology into a corporation
Generalised Environment for Process Management in Cooperative Software Engineering
Increasing Efficiency in Data Flow Oriented Model Driven Software Development for Softcore Processors
Refactoring Software in the Automotive Domain for Execution on Heterogeneous Platforms
High-Assurance Software Design for Mobile Tele-Health Systems
Analysing Privacy-Preserving Constraints in Microservices Architecture
Object-Oriented Evolutionary Database Design for Software Metrics Data
CODE: the Computation Oriented Display Environment
T-ReQs: A Tool for Tracking Similarity in Software ReQuirements
A User-Adaptable User Interface Model to Support Ubiquitous User Access to EIS Style Applications
A Secure and Fully Private Borda Voting Protocol with Universal Verifiability
A Full-fledged Commit Message Quality Checker Based on Machine Learning
HIR: A Hybrid IR Ranking Model
Validating Requirements: The Evolutionary Approach
An Assessment of Internet of Things Protocols for Resource-Constrained Applications
Object prototyping: Concept and specification language
Migrating Web Frameworks Using Water Transformations
Test Selection Prioritization Strategy
Security in Context: Analysis and Refinement of Software Architectures
Coupling of Design Patterns: Common Practices and Their Benefits
Agents, Case-Based Reasoning and their relation to the Mexican Software Process Model (MoProSoft)
Towards An Indoor Navigation System Using Monocular Visual SLAM
Ontology-based Adaptive Knowledge System (OAKS): Adaptive and Consistent Knowledge Acquisition through LLMs for Diverse User Backgrounds
ChatGPT, be my Teaching Assistant! Automatic Correction of SQL Exercises
Modeling Genome Data Using Bidirectional LSTM
FA2ST: Fog as a Service Technology
Experience of an International Collaborative Project with First Year Programming Students
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates
A Study of Enhanced MC/DC Coverage Criterion for Software Testing
Plain Source Code Obfuscation as an Effective Attack Method on IoT Malware Image Classification
Design-Level Cohesion Measures: Derivation, Comparison, and Applications
A Study of the Impact on Students Understanding Cross Cultural Differences in Software Engineering Work
Using Constraints for Distributed Query Processing
Mining Dynamic Interdimension Association Rules for Local-Scale Weather Prediction
Enabling Effective Metamorphic- Relation Generation by Novice Testers: A Pilot Study
Deep Learning Utilization in Beamforming Enhancement for Medical Ultrasound
AI-Assisted Security: A Step towards Reimagining Software Development for a Safer Future
Towards Self-Manageable Cloud Services
Software Fault Tolerance: Has it Arrived Yet?
Review of Machine Learning Advancements for Single-Cell Analysis
Pothole Detection in Asphalt: An Automated Approach to Threshold Computation Based on the Haar Wavelet Transform
Developing user interfaces by stimulus-response demonstration
Design and Evaluation of Vertical Scalability Strategies for Deploying Large-scale Co-simulations
R-Extractor: A Method for Data Extraction from Template-Based Entity-Pages
Boundary-Guided Black-Box Fairness Testing
Component Security - Issues and an Approach
A Structural Analysis Method of OSS Development Community Evolution Based on A Semantic Graph Model
Advancing Mental Disorder Detection: A Comparative Evaluation of Transformer and LSTM Architectures on Social Media
Inference of Extreme Synchrony with an Entropy Measure on a Bipartite Network
Artificial intelligence-based school decision support system to enhance care provided for children at schools in the United Arab Emirates
VATPA: a simulation environment for message-passing concurrent systems
Requirement-Based Automated Black-Box Test Generation
A Component Testability Model for Verification and Measurement
A Load-Balanced Approach to Time Efficient Resource Scheduling in SDN-Enabled Data Center
Exploring Gaming Technologies, Digital Twins, and VR to Visualise Wireless Propagation Simulations
Dynamic Cross-sectional Regime Identification for Financial Market Prediction
A Data Mining Approach for Software State Definition
Remote-Controlled Micro EV System Using Downward-Facing Wide-Angle Video Camera
Applying Dynamic Buffer Allocation to Predictive Load Control
Instability and Abstractness Metrics Based on Responsibility
Differences of Passenger Unease Emotional Areas, An Experimental Case Study
Complementary approach to the effective software development environment
PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie
VisioTM: A Tool for Visualizing Source Code Based on Topic Modeling
Chained of Things: A Secure and Dependable Design of Autonomous Vehicle Services
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business
DESCo: Detecting Emotions from Smart Commands
A Lightweight Virtual Machine Image Deduplication Backup Approach in Cloud Environment
Theorize with Data Using Rough Sets
Generating software development environments from the description of product relations
Automated Testing EJB Components Based on Algebraic Specifications
Automatic Orientation Identification of Pediatric Chest X-Rays
Modeling Time-Varying User Attitudes in Social Media
Sora Identity: Secure, Digital Identity on the Blockchain
Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN)
An algebraic specification of a reflective language
A Security Oriented Design (SOD) Framework for eHealth Systems
Health Monitoring System for Desk Workers Using Non-Contact Multi-Sensors
Successive POI Recommendation with Category Transition and Temporal Influence
Design Structural Stability Metrics and Post-Release Defect Density: An Empirical Study
News Analysis Based on Meta-synthesis Approach
Multi-class Cardiovascular Disease Detection and Classification from 12-Lead ECG Signals Using an Inception Residual Network
Semantic Enhanced Relational Graph Attention Network for Chinese Medical Named Entity Recognition
Research on Malicious Account Detection Mechanism of Ethereum Based on Community Discovery
A New E-Shopping System Using High Performance Custom Computers
Smart-Power: A Smart Cyber-Physical System to Detect IoT Security Threat through Behavioral Power Profiling
On the Use of GPT to Reveal Common Questions in Developers' Discussions
A Technique for Measuring Data Persistence Using the Ext4 File System Journal
Automated software design
On Simplifying Mobile Mashup Application Development
Conditional Ontology Mapping
Analyzing the Digital Home's Quality of Service
Active Semi-supervised Approach for Checking App Behavior against Its Description
Sparse Representation of Network Topology with K-SVD Algorithm
Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation
Development of electronic tandem service (ETS) features for the dimension PBX
Software measurement in the U.S. Army
Improving Long-Term Traffic Prediction with Online Search Log Data
A Device Specification Method Using Doppler Effect of Acoustic Waves
he San Francisco project: an object-oriented framework approach to building business applications
Service Security Analysis Based on i*: An Approach from the Attacker Viewpoint
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink
Early Measurement and Improvement of Software Quality
Performance Preservation Using Servers for Predictable Execution and Integration
Dihomotopic Reduction Used in Deadlock Detection
Standard-Driven Software Component Reuse and Agile Testing
The Influence of Context on Intentional Service
Joint SW/HW Modelling and Design Exploration Using P-Ware
Cinematographic Shot Classification through Deep Learning
Tuberculosis Detection in Chest Radiography: A Combined Approach of Local Binary Pattern Features and Monarch Butterfly Optimization Algorithm
What Graphs do International Investors See in the ASEAN Capital Markets?
Unified Programming Model and Software Framework for Big Data Machine Learning and Data Analytics
Specific Touch Gesture on Mobile Devices to Find Attractive Phrases in News Browsing
Using Knowledge Management and Mhealth in High-Risk Pregnancy Care: A Case for the Floating Population in China
The Impact of Foundational Models on Patient-Centric e-Health Systems
Analysis and Reconstruction of Laryngectomised Speech using GAN Models
An Automated Detection and Classification System of Calcaneal Fracture with Deep Learning Techniques
Signature Management in Workflow Systems
Predicting Number of Bugs before Launch: An Investigation based on Machine Learning
A Deep-Learning-Based Method of Estimating Water Intake
Does User's Prior Knowledge Worth Consideration?: The Influence of Prior Knowledge Toward Mutual Gaze Convergence
A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design
Towards a Contract Aware CORBA Component Container
Multiagent System for Priority-Based Load Shedding in Microgrid
Towards an MDA-Oriented Methodology
A Hybrid Security Framework of Mobile Code
An efficient algorithm of compressing decimal notations for tree structures
Online Coding Tutorial Systems: A New Category of Programming Learning Platforms
(Open) Data Quality
Message from the QUORS Workshop Organizers
Proposal for a Simulation Environment for Reproducing Diverse Combined Attacks in Autonomous Driving Systems
Comparing models of parallel computation by homomorphisms
A Study on Emulating Automotive IP Networks Using Network Virtualization
Internet-Based Evaluation and Prediction of Web Services Trustworthiness
Towards Automatic Reconfiguration of Aviation Software Systems
Structured Document Framework for Design Patterns Based on SGML
An Input Adjustable Tree Algorithm for Evolutionary Testing
Test Case Generation by Simulating Requirements Analysis Model
A Quantitative Evaluation of a Wide-Area Distributed System with SDN-FIT
A Novel Optimal Profit Resilient Filter Pairs Trading Strategy for Cryptocurrencies
Autonomous Decentralized Software Structure for Integration of Information and Control Systems
Design and Implementation of the 'S' System for Interactive Data Analysis
SPIRE: Scalable and Unified Platform for Real World IoT Services with Feature Interaction
39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015
Towards an Agile Infrastructure to Provision Devices, Applications, and Networks: A Service-oriented Approach