yusuke1997/dblp-id-title huggingface dataset:
Towards Reuse-Based Development for the On-chip Distributed SoC Architecture
CoAP-CTX: A Context-Aware CoAP Extension for Smart Objects Discovery in Internet of Things
Implementing an Effective Test Automation Framework
A Task-Oriented Navigation Approach to Enhance Architectural Description Comprehension
Web for Data Mining Applications
Test Command Auto-Wait Mechanisms for Record and Playback-Style Web Application Testing
New Problems in Active Sampling for Mobile Robotic Online Learning
Defect Detection of Metal Nuts Applying Convolutional Neural Networks
Research on Integrated Authentication Using Passwordless Authentication Method
Renaissance: A Method to Support Software System Evolution
Non-Invasive Wi-Fi Sensors For Smart Healthcare
An Architecture Description Language for Verification in Component-Based Software
Holistic Approach to Intrinsic Capacity Assessment: An Engineering Perspective
'Entropy production rate' and 'entropy' for neural networks
An Innovative Virtual Learning Environment to Enhance Age-Friendly Cultural Competencies
Privacy Preservation of Big Spatio-Temporal Co-occurrence Data
Enhancing Valid Test Input Generation with Distribution Awareness for Deep Neural Networks
Seamless Live Virtual Machine Migration with Cloudlets and Multipath TCP
Improving the Effectiveness of SQL Learning Practice: A Data-Driven Approach
A Framework for Examining Topical Locality in Object-Oriented Software
A partitioning approach for object-oriented software development for parallel processing systems
Advanced Grid Programming with Components: A Biometric Identification Case Study
A Multiparadigm Programming Approach for Developing Knowledge-Based Systems
A File Naming Scheme Using Hierarchical-Keywords
Message from the RTSOAA 2008 Workshop Organizers
Towards a Framework for Safe and Secure Adaptive Collaborative Systems
Image Processing Strategies for Automatic Detection of Common Gastroenterological Diseases
Deriving Requirements Specification with Time: A Software Environment Ontology Based Approach
Prioritizing Variable-Strength Covering Array
A QoS-Oriented Inter-cloud Federation Framework
Quantum Knowledge Graph: Leveraging QNLP for Semantic Relationship Modeling
An Ontology-Based Approach for GUI Testing
Program Partitioning Optimizations in an HPF Prototype Compiler
QUORS 2008 Workshop Organization
Identifying Evolution Problems for Large Long Term Industrial Evolution Systems
An Adaptive Performance Modeling Approach to Performance Profiling of Multi-service Web Applications
Enhancing Dengue Awareness: A Comprehensive System for Filtering Thai Social Media Posts
Diagnostic Imaging Support System for Rheumatoid Arthritis Using Ultrasound Images
Application of computer in dynamic control of linear accelerators for radiation therapy
Towards Lambda-Based Near Real-Time OLAP over Big Data
Distributed Eductive Execution of Hybrid Intensional Programs
Towards Fault-Tolerant Task Backup and Recovery in the seL4 Microkernel
An Ontology Enhanced User Profiling Algorithm Based on Application Feedback
Assessing Web Site Usability in Retail Electronic Commerce
Dynamical Re-striping Data on Storage Servers in Parallel File Systems
A Blockchain, 5G and IoT-based transaction management system for Smart Logistics: an Hyperledger framework
An Intentional Perspective to Service Modeling and Discovery
A Market-Oriented Heuristic Algorithm for Scheduling Parallel Applications in Big Data Service Platform
Distributed data processing design evaluation through emulation
Automatic variable classification for COBOL programs
The Ceiling Adjustment Scheme for Improving the Concurrency of Real-Time Systems with Mixed Workloads
Examining Large Language Models Within Autism-Related Contexts: A Systematic Review of Bias and (Mis) Representation
Comparison of Three Metaheuristic Algorithms for Optimization of Cyber Physical Systems
Privacy Is The Best Policy: A Framework for BLE Beacon Privacy Management
A Semi-supervised Approach to Software Defect Prediction
Heuristic solutions for the general maximum independent set problem with applications to expert system design
Efficient State Estimators for Load Control Policies in Scalable Web Server Clusters
Optimizing and Simplifying Software Metric Models Constructed Using Maximum Likelihood Methods
Mediating Electronic Meetings
Finding Optimal Solution for Satisficing Non-functional Requirements via 0-1 Programming
Analysis of Reliability and Resilience for Smart Grids
A Clustering-Based Approach for Detecting Low-Contrast Texts on Web Pages at the Granular Character Level
Enhancing Road Safety Through Cost-Effective, Real-Time Monitoring of Driver Awareness with Resource-Constrained IoT Devices
Visualizing a Tangled Change for Supporting Its Decomposition and Commit Construction
Optimizing WDM Network Restoration with Deep Reinforcement Learning and Graph Neural Networks Integration
The structured design of a data compression program
Mutation-Based Testing Criteria for Timeliness
Secure Glue: A Cache and Zone Transfer Considering Automatic Renumbering
A Comparative Study of the Academic Programs between Informatics/BioInformatics and Data Science in the U.S
Physiological Correlates While Playing Tetris: A Comparative Study Between Males and Females
Communication Performance Evaluation Using Compression Processing for IoT Systems in Mobile Environments
Excalibur: A Personalized Meta Search Engine
Data and Applications Security: Developments and Directions
WorkflowDSL: Scalable Workflow Execution with Provenance for Data Analysis Applications
A Simulation Approach to Quantify Network Survivability on MANETs
Modeling an AR Serious Game to Increase Attention of ADHD Patients
Designs for Reducing Data Breach Impact
ArgoAWS-UML: Modeling Tool for Adaptive Web Services
Model-Driven Engineering for Autonomic Provisioned Systems
Analyzing Inaccurate Artifact Usages in a Workflow Schema
Integrating the Modelica DSL into a Platform for Model-Based Tool Interoperability
Finding Emotion from Multi-lingual Voice Data
A logic for handling time in temporal databases
A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines
Automatic Discovery of Web Services Based on Dynamic Black-Box Testing
Modular Monadic Program Slicing
Curating History Datasets and Training Materials as OER: An Experience
Software Reliability Growth Models Incorporating Fault Dependency with Various Debugging Time Lags
A Relationship-Based VM Placement Framework of Cloud Environment
IDEAL: An Interactive De-Anonymization Learning System
FC Method: A Practical Approach to Improve Quality and Efficiency of Software Processes for Embedded System Revision
Adapted Decision Support Service Based on the Prediction of Offline Consumers' Real-Time Intention and Devices Interactions
Model Checking Coordination of CPS Using Timed Automata
Requirement Capturing and 3CR Approac
Component Oriented Design Style
Reducing Matching Time for OPS5 Production Systems
Automated test data generation for distributed software
Assist-Bot: A Voice-Enabled Assistant for Seniors
A History-Based Dynamic Random Software Testing
An evaluation of software structure metrics
Improving Cluster Resource Efficiency with Oversubscription
Making Smart Contracts Easier To Understand
A Similarity-Based Approach to Recognizing Voice-Based Task Goals in Self-Adaptive Systems
Experimental evaluation of the cost effectiveness of software reviews
Reuse engineering: software construction from reusable components
Expectations for associative-commutative unification speedups in a multicomputer environment
Software Testing, Software Quality and Trust in Software-Based Systems
Software maintainability: A practical concern for life-cycle costs
Range-Based Bitmap Indexing for High Cardinality Attributes with Skew
Automatic Indexing and Creating Semantic Networks for Agricultural Science Papers in the Polish Language
Program extraction by type erasing
Fine-Grained Configuration Management for Collaborative Ontology Development
Scheduling dependent real-time multimedia tasks on distributed systems
Position Paper: Extending Codelet Model for Dataflow Software Pipelining using Software-Hardware Co-Design
Using Binding Bigraphs to Model Context-Aware Adaptive Applications
Supporting the Development of Agent-Based Simulations: A DSL for Environment Modeling
Towards the Verification of Scenarios with Time Petri-Nets
Automated Configuration Bug Report Prediction Using Text Mining
Dependable Computing: Concepts, Challenges, Directions
Message from WEDA Organizing Committee
Towards Software Value Co-Creation with AI
Performance Prediction of Service-Oriented Applications based on an Enterprise Service Bus
Energy Consumption Measurements in Docker
Comparison of Collision Avoidance Algorithms for Autonomous Multi-agent Systems
Secure Feedback to Edge Servers in Distributed Machine Learning Using Rich Clients
Transformation of Relational Schemas to Object-Oriented Schemas
Advancements in Multimodal Social Media Post Summarization: Integrating GPT-4 for Enhanced Understanding
Empowering AI to Generate Better AI Code: Guided Generation of Deep Learning Projects with LLMs
A Proposal of SDN-FIT System to Evaluate Wide-Area Distributed Applications Based on Exhaustive FIT Scenario Generation
Hybrid/Online Teaching: A Survey and Key Issues
On developing a general theory of software engineering
Assessing Initial Attacks and Defense with Retry Function in MQTT Over QUIC
SmartADHDMonitor: A Novel Approach to Automatic ADHD Monitoring Through Smartphone App Usage Data
Risk Assessment Methods for Cloud Computing Platforms
Model Checking Aspect-Oriented Design Specification
An UML Behavior Diagram Based Automatic Testing Approach
Exploration Scheduling for Replay Events in GUI Testing on Android Apps
Degree Distribution of Wireless Networks for Mobile IoT Applications
A visual data manipulation language for a semantic data model
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps
Empirical Validation of Website Timeliness Measures
Unified Target-based Sentiment Analysis by Dual-pointer Tagging Scheme
An LOF-Based Adaptive Anomaly Detection Scheme for Cloud Computing
Understanding Social Engineers Strategies from the Perspective of Sun-Tzu Philosophy
Supporting the Specification and Serialization of Planned Architectures in Architecture-Driven Modernization Context
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research
OO is NOT the Silver Bullet
A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis
Maintenance support needs for object-oriented software
Framework-Oriented Analysis
A Named-Entity-based TTP-free Authentication and Authorization Architecture for IoT Systems
A symmetric and resilient configuration scheme for multiple name servers
Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation
Introduction to Panels on E-Security, Granular Computing and Web Intelligence
Message from the CORCS 2008 Workshop Organizers
Mitigating Clinician Information Overload: Generative AI for Integrated EHR and RPM Data Analysis
Privacy Preserving Data Publishing for Recommender System
Mining Decision-Rule Preference Model from Rough Approximation of Preference Relation
Vs Golf - Developing Location-based Multi-Player Games
Approx-SMOTE Federated Learning Credit Card Fraud Detection System
Continuous User Authentication Based on Context-Emphasized Behavior Profiling
Metrics-Guided Quality Management for Component-Based Software Systems
Future Trends of Software Technology and Applications Model-Based Development
A product line based aspect-oriented generative unit testing approach to building quality components
Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals
Building Java Applets by Using DJ - A Java-based Constraint Language
Reliability and Fault Tolerance in Trust
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Human Activity Dataset of Top Frequent Elderly Emergencies for Monitoring Applications using Kinect
Conditional transactions: a model of computation for active databases
Message from the QACOS 2008 Workshop Organizers
IPCC++: A C++ Extension for InterProcess Communication with Objects
Situation-Oriented Requirements Elicitation
Melding software processes into software object databases
A Wisdom Search Engine
Controlling and Being Creative: Software Cybernetics and Creative Computing
IoT for Real-time Accessibility Ontology Population to Context-awareness Adapt User Interfaces
Exploring Security in PROFINET IO
Synthetic Fouling Image Data Generation for Heat Exchanger Predictive Maintenance
Mobile Microlearning to Scaffold Project-Based Learning Using ARCS Model: A Preliminary Study
An Integrated Formal Model for Context-Aware Systems
Decentralized Access Control using Hyperledger Fabric
A Proposal for Edge Application Framework for Smart Factory
Brooks' Law Revisited: A System Dynamics Approach
Detection of New Intentions from Users Using the CRF Method for Software Service Evolution in Context-Aware Environments
A methodology for the development of reliable synchronization software
Ants: Attacking Spatial Temporal Graph Learning Networks Structurally
Software Product Line Engineering for Developing Self-Adaptive Systems: Towards the Domain Requirements
A rule-based compactor for VLSI/CAD mask layout
Precise Specification to Compound Patterns with ExLePUS
A Verification Method for Temporal Consistency of Service Flow
Formal Analysis of Services Compatibility
CTIP - an on-line CT image processing software package
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011
Constructing an automated testing oracle: an effort to produce reliable software
Derivation of Petri net models of Ada tasking constructs involving time
1st International Workshop on Testing and Quality Assurance of Component-Based Software (TQACBS 2005)
A Flexible Framework for Replication in Distributed Systems
A Study on the Requirements Review Process in Software Development: Problems and Solutions
An approach to object-oriented requirements verification in software development for distributed computing systems
Functional multiprocessing in an experimental digital switching office
Management and Control of Coding and Testing of Component-based Software
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix
Tactile Texture Recognition On Uneven Surfaces Using Self-Attention Based Neural Networks
Teaching Mathematics in Scientific Bachelor Degrees Using a Blended Approach
Message from the QUORS 2008 Workshop Organizers
Fractus: Orchestration of Distributed Applications in the Drone-Edge-Cloud Continuum
An Aurora Image Classification Method based on Compressive Sensing and Distributed WKNN
Requirements Understanding: A Challenge in Global Software Development, Industrial Surveys in Kingdom of Saudi Arabia
Towards Dementia-Friendly Smart Homes
Integrating Static and Dynamic Analysis for Detecting Vulnerabilities
Towards Communication-Efficient Federated Learning Through Particle Swarm Optimization and Knowledge Distillation
Graph Representation for Data Flow Coverage
Botnet Research Survey
IIS: Intelligent Identification Scheme of Massive IoT Devices
Investigating Large Software System Evolution: The Linux Kernel
SecureC: Control-Flow Protection Against General Buffer Overflow Attack
Extending Z with State Transition Constraints
Automatic Whitelist Generation for SQL Queries Using Web Application Tests
Adaptive Performance Tuning for Internet-BasedWorkflows
Predicting Timing Performance of Advanced Mechatronics Control Systems
Distributed processing terminal system for CAD/CAM
Applications of computers in radiation treatment planning utilizing CT images
29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1
Who Is Enfranchised by Remote Voting?
Hypermedia Conference Proceedings
A Tool For Requirements Engineering Process Development
Characterize and Compare the Performance of Deep Learning Optimizers in Recurrent Neural Network Architectures
LiCAFeL-STC: A Lightweight Cluster-Based Federated Learning Framework for Sensor-Based Human Activity Recognition Using Unlabeled Data in Heterogeneous Wearable Devices
Example of a formal flow violation
Ensemble Learning for Detecting Fake Reviews
An interactive computer graphics system for the computed tomographic breast scanner (CT/M)
PhishCatch - A Phishing Detection Tool
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development
Test Case Prioritization Using Relevant Slices
Feasibility Assessment of Denial-of-Service Attacks by Analyzing SOME/IP-SD State Transition Models
Social Modeling for System Security
Improving ML-based Solutions for Linking of CVE to MITRE ATT &CK Techniques
Tackling Front-End Challenges: Strategies for Time-Series Data Retrieval and Visualization
Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus
Revisit Consensus Problem on Dual Link Failure Modes
Toward a Method Engineering Framework for Project Management and Machine Learning
Realization considerations for dynamic performance analysis in automated software design
Efficient Worker Selection Through History-Based Learning in Crowdsourcing
Federated Learning Framework for Collaborative Time Series Anomaly Detection on Distributed Machines
Motor Imagery: A Review of Existing Techniques, Challenges and Potentials
Interfacing to Legacy and Object-Oriented Environments
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration
Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System
Constant Change: Leveraging Digitalization for an Organization's Evolutionary Fitness
Towards an Agent-Oriented Framework for Multidisciplinary Decision Support and Its Application to Triple Assessment of Breast Cancer
Listening to the Brain: A Novel Approach to Understanding Cerebral Dynamics through Blood Flow Sounds
Deep Learning for Regional Subsidence Crisis Prediction in Smart Grid Infrastructure
Integrating Heterogeneous Web Services with WebXcript
MuAE: A Mutation Testing Framework for Evaluating Autoencoders
Property-Based Testing of Browser Rendering Engines with a Consensus Oracle
Penetration Testing for Spam Filters
ARIGUMA Code Analyzer: Efficient Variant Detection by Identifying Common Instruction Sequences in Malware Families
Incrementally Applicable t-Wise Combinatorial Test Suites for High-Strength Interaction Testing
Message from the EOCS-MCP 2008 Workshop Organizers
Disruption-tolerant Local Authentication Method for Continuous and Secure In-Flight Wireless LAN
Automatic Generation of Database Instances for White-box Testing
An AR Visualization System of Near-Future Information to Avoid Dangerous Situations
An Empirical Study of a Reverse Engineering Method for Aggregation Relationship Based on Operation Propagation
What Is the Impact of Heterogeneous Knowledge about Fundamentals on Market Liquidity and Efficiency: An ABM Approach
An Investigation into the Effects of Code Coupling on Team Dynamics and Productivity
Cyber-physical Systems: Interoperability and Distributed Intelligence
Job Dispatching and Scheduling for Heterogeneous Clusters - A Case Study on the Billing Subsystem of CHT Telecommunication
Developing Safe Smart Contracts
Comparing Reuse Strategies: An Empirical Evaluation of Developer Views
Improved Software Updating for Automotive ECUs: Code Compression
Bad Smell Detection using Google Gemini
Automating Software FMEA via Formal Analysis of Dependence Relations
Behavior-based acceptance testing of software systems: a formal scenario approach
Fuzzy Value-at-Risk Forecasts Using a Novel Data-Driven Neuro Volatility Predictive Model
Dealing with Test Automation Debt at Microsoft
Hybrid Role Hierarchy for Generalized Temporal Role Based Access Control Model
Exploiting Automatic Analysis of E-Commerce Protocols
Euro-Conversion and Year 2000 Problem
A Quantitative Causal Analysis for Network Log Data
Constraint Violation Detection: A Fundamental Part of Software Cybernetics
Requirements Engineering Needs in a Solution and Infrastructure Improvement Project
Liquid Software Manifesto: The Era of Multiple Device Ownership and Its Implications for Software Architecture
Digiket: Decentralized Architecture for Worldwide Electronic Market
Challenges and Experiences in Industry-University Research Collaboration and Technology Transition
Generation Y: Understanding the Trend and Planning for the Impact
DLCEncDec : A Fully Character-Level Encoder-Decoder Model for Neural Responding Conversation
A Proxy Design for Nearest-Neighbor Query Processing in Mobile Environments
A Knowledge-based Approach for Worst-case Timing Analysis of Microprocessor Systems
A Survey on Non-Invasive Computing: Neurological-Hematological Framework for Early Infection and Stroke Detection with Future Directions
Distributed software testing with specification
FedAVO: Improving Communication Efficiency in Federated Learning with African Vultures Optimizer
Modification Impact Analysis Based Test Case Prioritization for Regression Testing of Service-Oriented Workflow Applications
The Similarity Computing of Documents Based on VSM
A speech understanding-based method for recognizing psychological medical speech feelings
Flow-Aware Congestion Control to Improve Throughput under TCP Incast in Datacenter Networks
2nd International Workshop on Software Cybernetics (IWSC'05)
Compiler-integrated program mutation
Stationary Human Detection Method Using 2D LiDAR
Generating Realistic Logically Unreasonable Faulty Data for Fault Injection
How changing technology should effect computer science and engineering education
Quality Metrics for Internet Applications: Developing "New" from "Old"
Iterative Metamorphic Testing
On the Effect of Communication Link Heterogeneity on Content Delivery Delay in Information-Centric Delay Tolerant Networks
30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 2
A Scenario-Based Approach to Predicting Software Defects Using Compressed C4.5 Model
The Four Major Challenges of Engineering Adaptive Software Architectures
Producing Green Computing Images to Optimize Power Consumption in OLED-Based Displays
Measuring Prediction Sensitivity of a Cloud Auto-scaling System
Measuring the Functionality of Online Stores
Petri Net Based Verification of Causal Dependencies in Electronic Control Unit Test Cases
Development of Observation Device with Multi Sensor Platform for Underwater Aquaculture Cages
The Investigation on Effectiveness Evaluation Methods for One Medical Material Used for Surgery Patients Based on Electronic Medical Records Data
Design and Evaluation of Social Interfaces for Cultural Exhibitions of Chinese Shadow Puppetry
A Scalable Framework for Multilevel Streaming Data Analytics using Deep Learning
CLINEX: An Inter-node Cross-Layer Cooperation Architecture to Adapt to Dynamically Changing Network Situation
Development of a Respiratory Motion Video Based Monitor for Noninvasive Mechanical Ventilation Synchronization in Premature Infants
Developing a Research Ideas Creation System through Reusing Knowledge Bases for Ontology Construction
Message from the ITiP Symposium Chairs
Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems
Linking Team-level and Organization-level Governance in Machine Learning Operations through Explainable AI and Responsible AI Connector
Automating Scenario-Driven Structured Requirements Engineering
Toward Ordering the Set of Modifications to Solve a Maintenance Request
FACEE: Framework for Automating CNN Explainability Evaluation
A Case Study of Dependable Software Upgrade with Distributed Components
Ad Hoc Software Interfacing: Enterprise Application Integration (EAI) when Middleware is Overkil
A Comparative Study Using Discriminant Analysis on a Questionnaire Survey Regarding Project Managers' Cognition and Team Characteristics