yusuke1997/dblp-id-title huggingface dataset:
Formal semantics of some functional constructs of the software requirements definition language NDRDL
Tool-Supported Collaborative Requirements Prioritisation
Is Your PIN Safe Against Advanced Human-Centric Shoulder Surfing?
Fine-Grained Design Pattern Detection
Morphological analysis of simplified chinese ideographs and a heuristic approach for their machine recognition
Designing a dynamic integrity constraint checker with nonmonotonic logic
The Implementation of a Data-Accessing Platform Built from Big Data Warehouse of Electric Loads
GeoGRCNN: Synthetic Trajectory Generation for Location Privacy Protection
A comprehensive approach to requirements problems
Modern Distance Education: A Special Open Complex Giant System
Position Statement: The Impact of Software Assurance on Computing Education
Technological Module for Unsupervised, Personalized Cardiac Rehabilitation Exercising
Value Driven Process Towards Software Engineering for Business and Society (SE4BS)
A Forensic Analysis of Android Malware - How is Malware Written and How it Could Be Detected?
Designing a Computer Detective Game for Science Education
A Practical Approach for Automated Test Case Generation using Statecharts
Hierarchic shape description via singularity and multiscaling
Using Fine-Grained Test Cases for Improving Novice Program Fault Localization
A New Era of Blockchain-Powered Decentralized Finance (DeFi) - A Review
An Empirical Study on AI-Powered Edge Computing Architectures for Real-Time IoT Applications
Message from the MidCCI Workshop Organizers
A Method to Design SOA-Based Software Architecture and Goal Models from BPMN Models
Secure Deduplication with Dynamic Key Management in Fog Enabled Internet of Things
A Systematic Literature Review of Machine Learning-Based Disease Profiling and Personalized Treatment
The Concept of a Mobility Data Cloud: Design, Implementation and Trials
A Constraint Based Bug Checking Approach for Python
Intelligent Component Selection
Software Quality and Agile Method
Process-centered project management system by stepwise particularizing software process
A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems
SLA-Aware Application Deployment and Resource Allocation in Clouds
Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network
A Real-Time Background Replacement Method Based on Estimated Depth for AR Applications
The Multimedia Desktop Conference System Adaptability in Network Traffic on LAN
A Vision on Sentiment Analysis and other AI Applications on Investments Portfolio Optimization
Fault Injection Approach Based on Dependence Analysis
Actual Traffic Congestion Reduction Method Using V2R on One-Lane Roads
Design and Development of a Distributed Mobile Sensing Based Crowd Evacuation System: A Big Actor Approach
JART: Grammar-Based Approach to Refactoring
Improved Bayesian network differential privacy data-releasing method based on junction tree
An integrated framework for software prototyping
Software Support for Asynchronous Computing Across Networks
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum
A development environment for telecommunications management network
Design and Implementation of Global Reference and Indirect Method Invocation Mechanisms in the Dripcast
Proposal for a Cumulative Deposit Rate Prediction Method for Payment After Delivery in the Mail Order Business
Updating the Taxonomy of Intrusion Detection Systems
A Smart Sensor Architecture for eHealth Applications
A high-order logic programming framework for complex objects reasoning
Prevention of Sequential Message Loss in CAN Systems
An integrated environment for software reliability modeling
HIVE - Enabling ETSI IMS Plugtests Events
CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps
FlowManager: A Workflow Management System Based on Petri Nets
A practical and space efficient scheme for keeping source location in parse trees
So/M: A Requirements Definition Tool Using Characteristics of Existing Similar Systems
Teach - a concurrent robot control language
Class Specification Implementation Graphs and their Application in Regression Testing
ReNego: A Requirements Negotiation Tool based on Voting of Social Choice Theory
An approach to software fault localization and revalidation based on incremental data flow analysis
Secure ID Transformation for Robust Pseudonymity against Backflow of Personal Information in SAML Federation
Software for Wearable Devices: Challenges and Opportunities
Department of Defense Information Technology Initiatives
Model Driven Software Development for Military Command and Control Systems
A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development
ESAS 2008 Workshop Organization
White-box Fuzzing in the Wild: A Chaos Engineering Module for DevOps Security Education
An Experimental Study on Software Aging and Rejuvenation in Web Servers
Proposal of Linear Approximation of Household Fuel Cells and Small-Scale Community Energy Management System
Safety Tactics for Software Architecture Design
Garbage Weight Estimation System
Building a Tailored Text Messaging System for Smoking Cessation in Native American Populations
Storing Continuous Media Objects Using Parallelism With Merging
Message from the ESAS 2015 Workshop Organizers
A Parallel Self-Organizing Community Detection Algorithm Based on Swarm Intelligence for Large Scale Complex Networks
Web System for Electronic Nautical Charts Service Based On ArcIMS
Message from the CDS Workshop Organizers
CORCS 2008 Workshop Organization
Automatic Identification of Change Points for the System Testing Process
Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach
The relationship between student grades and software science parameters
Automated Consistency and Completeness Checking of Testing Models for Interactive Systems
Remote Assessing Children's Handwriting Spelling on Mobile Devices
A bi-level object-oriented data model for GIS applications
Application on Intersection Classification Algorithm Based on Clustering Analysis
An Architecture for Cloud Service Testing and Real Time Management
Reliable Visibility Algorithms for Emergency Stop Systems in Smart Industries
SAD kernels: a software tool to evaluate synchronization behavior of multiprocessors
Scalable Machine Learning Using PySpark
Compilation of Disjunctive Logic Programs Using an Extended WAM
A ZigBee Based Multi-hop Health Monitoring System: Design and Performance Evaluation
Hierarchical Clustering Based on Local Cores and Sharing Concept
Position Statement: Software Testing, Software Quality and Trust in Software-Based Systems
Formal Modelling of PLC Systems by BIP Components
Protocol synthesis in a state-transition model
Exception Handling in Coordination-Based Mobile Environments
A Systematic Review of the Applications of Speech Processing Technology in Neurological Diseases
A Study on Robustness of Complex Networks Against Random Node Removals
A Contrastive Learning and Region-Guided Approach for Long Clinical Text Classification
Stream Composition for Highly Adaptive and Reconfigurable Mobile Middleware
Transformation and Integration Method of Scenarios
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
ReCEC: Resolving Conflicts of Environmental Constraints among Multiple Applications in a Smart Space
MuScADeL: A Deployment DSL Based on a Multiscale Characterization Framework
Security Requirement Modeling Support System Using Software Security Knowledge Base
RED-Transaction and Goal-Model Based Analysis of Layered Security of Physical Spaces
Hierarchical string pattern matching using dynamic pattern matching machines
GSDNet: An Anti-interference Cochlea Segmentation Model Based on GAN
Petri net based modelling of procedures in complex object database applications
A Semantics of the Separation of Interface and Implementation in C++
A Study of On-Vehicle Information Devices Using a Smartphone
Key Roles of Session State: Not against REST Architectural Style
Trust-Aware and Location-Based Collaborative Filtering for Web Service QoS Prediction
A Software Popularity Recommendation Method Based on Evaluation Model
Constructing an EJB Application in a WFMS
Providing orthogonal persistence to C++ using forced inheritance
Effective Discrete Memetic Algorithms for Covering Array Generation
Automating Dynamic Reconfiguration for Non-Stop Dataflow Systems
The conceptual design of OSEA: an object-oriented semantic data model
Message from SETA 2018 Symposium Chairs
State Management in WWW Database Applications
Program understanding needs during corrective maintenance of large scale software
On generating test data from prototypes
Application of Semantic Web Services for Mobile Telemedicine Service Discovery
Design rules for producing logically complete two-process interactions and communications protocols
A Fast Training Method using Bounded Continual Learning in Image Classification
Towards a Generic Cloud-Based Virtual Research Environment
Cloud Memory Enabled Code Generation via Online Computing for Seamless Edge AI Operation
Comparing Control Flow Graphs of Binary Programs through Match Propagation
A Formal Representation of Platform Feature-to-Requirement Traceability for Software Product Line Development
Support Vector Machine-Based Fuzzy Inference Systems for Service Restoration Strategy in Micro-distribution Systems
A Comparative Human-Robot Interaction Study between Face-Display and an Advanced Social Robot
TypoWriter: A Tool to Prevent Typosquatting
Internetware: Challenges and Future Direction of Software Paradigm for Internet as a Computer
A heuristic method for ceneralized hypercube encoding
Resource Depedency Analysis in Multi-Core Systems
Dimensional Situation Analytics: From Data to Wisdom
Elucidation of the Relationship Between a Song's Spotify Descriptive Metrics and its Popularity on Various Platforms
Twitter vs News: Concern Analysis of the 2018 California Wildfire Event
A Multihop Broadcast Mechanism for Emergency Messages Dissemination in VANETs
An Adaptive Quality Level Selection Method for Efficient QoS-Aware Service Composition
Novel Norms for Pruning Convolutional Neural Networks
One Documentation Does Not Fit All : Case study of TensorFlow Documentation
Variable Support Based Association Rule Mining
Trends in software technology
A high-level tool for parallel program development
Methods of comparing test data adequacy criteria
Small business applications for microcomputers
Injecting Comments to Detect JavaScript Code Injection Attacks
PAAKL: Password Authentication Using Behavioral Metrics
Vehicle Travel Time Estimation by Sparse Trajectories
Automated testcase generation for data abstraction
Process Activities Supporting Security Principles
Automating the Generation of Test Cases from Object-Z Specifications
An object-oriented toolkit for constructing specification editors
In search of silver bullet [software engineering]
Cooperative Agent Approach to Quality Assurance and Testing Web Software
Identifying 5G technology enablers in the maritime sector using survey and Twitter data
A ppavethric model for edge detection
How Many Ground Truths Should We Insert? Having Good Quality of Labeling Tasks in Crowdsourcing
An Autonomous Data Collection Pipeline for Online Time-Sync Comments
Handwritten Signature Authentication Using Smartwatch Motion Sensors
ZLISP: A lisp for a Micro-computer
Error Modeling in Dependable Component-Based Systems
Improving the Quality of GNU/Linux Distributions
Heuristic algorithms for path determination in a semantic network
Understanding Data Mining and applying it to Command, Control, Communications and Intelligence Environments
CacheQueue: Efficient Cache Queue Usage in a NDN
Event Classification of Accelerometer Data for Industrial Package Monitoring with Embedded Deep Learning
Discrepancy Scaling for Fast Unsupervised Anomaly Localization
Americans with Disabilities Act - Compliance Assessment Toolkit on Smartphone
Semantic Segmentation in Aerial Imagery: A Novel Approach for Urban Planning and Development
Development of CAN-1394 Automotive Gateway System Using Designed Modular Software Stack
Real-time scheduling of multiple segment tasks
A Long and Winding Road (Progress on the Road to a Software Engineering Profession)
From Solution to Problem Spaces: Formal Methods in the Context of Model-Based Development and Domain-Specific Languages
SAT: Switchable Address Translation for Flash Memory Storages
Expressing JSD in Z
Message from the STPSA 2015 Workshop Organizers
On the Evaluation of Proactive Location-Based Services
A Safety Food Consumption Mobile System through Semantic Web Technology
Palimpsests of Time and Place
A Control-Based Approach to Balance Services Performance and Security for Adaptive Service Based Systems (ASBS)
Analyzing Distribution of Implicit Semantic Information in Web Services
The Security Cost of Content Distribution Network Architectures
or: How I Learned to Stop Worrying and Love Cloud Computing
Web-Based Learning Object Search Engine Solution Together with Data Visualization: The Case of MERLOT II
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions
Single-row routing and extensions
A Rapid Development Framework for Multilingual Spoken Dialogue Systems
Effects of Variable Part Auto Configuration and Management for Software Product Line
A Useful Approach to Developing Reverse Engineering Metrics
BINTEST - Binary Search-based Test Case Generation
Harnessing Digital Twin Security Simulations for systematic Cyber Threat Intelligence
Design of a Concealed File System Adapted for Mobile Devices Based on GPS Information
An Agent-Based Self-Adaptive Mechanism with Reinforcement Learning
Protel: a high level language for telephony
A Novel Rubbing Encryption Algorithm and the Implementation of a Web Based One-Time Password Token
An Improvement to Fault Localization Technique Based on Branch-Coverage Spectra
Logical Partitioning without Architectural Supports
IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, Vasteras, Sweden, July 21-25, 2014
Design and implementation of abstract graphical data types
Adaptive Random Testing with CG Constraint
Agent-Based Offline Electronic Voting
Availability and other performance measures of software systems under imperfect maintenance
Using Blockchain Technologies to Improve Security in Federated Learning Systems
A Meta-Heuristic Load Balancer for Cloud Computing Systems
On-line Cache Strategy Reconfiguration for Elastic Caching Platform: A Machine Learning Approach
A Scenario-Based Architecture Evaluation Framework for Network Enabled Capability
Embedded System Design with Reliability-Centric Optimization
Supervisory Control of Time Petri Nets Using Net Unfolding
A Heuristic Approach to Break Cycles for the Class Integration Test Order Generation
Development and Evaluation of the MEC Platform Supporting the Edge Instance Mobility
A Cluster-Based Core Protection Technique for Networks-on-Chip
Conceptualisation of Hybrid Service Models: An Open Models Approach
Multiview Machine Learning Classification of Tooth Extraction in Orthodontics Using Intraoral Scans
Detecting Phishing Websites through Deep Reinforcement Learning
A Presentation Scheduling Scheme for Multimedia Databases
Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions
Message from the MDDS 2008 Workshop Organizers
An InnovativeWorkflow Product Structure
Detecting Data Races on Framework-Based Applications
A Connector-Centric Approach to Aspect-Oriented Software Evolution
Distributed Intelligence in the Electric Smart Grid
Detecting and Classifying Android PUAs by Similarity of DNS queries
A Portable Method for Improving Available Bandwidth of PC Cluster
Implementation and Evaluation of an Automatic Personal Workflow Extraction Method
How the Academics Qualification Influence the Students Learning Development
Transcribathons as Practice-Based Learning for Historians and Computer Scientists
Ethical Dimensions of Artificial Intelligence in Personalized Medicine: Navigating Challenges and Shaping Future Policies
FOQL: Software Aging Determination and Rejuvenation Strategy Generation for Docker
Improving the Prediction Accuracy of Decision Tree Mining with Data Preprocessing
Principles Should Underlie Standards and Best Practices
Basic Design of Network Control Method Based on Disaster Risk of OpenFlow C/M-Plane
Execution Mechanism of Service Proxy in Web Services Composition Execution Engine
On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace
Modeling the Structured Porous Network Using Stacked Ensemble Learning
Fault Classification Oriented Spectrum Based Fault Localization
Evaluation of Parameter Update Effects in Deep Semi-Supervised Learning Algorithms
Systematic Software Product Line Test Case Derivation for Test Data Reuse
An extended recursive algebra for nested relations and its optimization
Blockchain-Oriented Software Testing: A Preliminary Literature Review
A Data Collection Case Study Supporting Requirements Oriented Prediction and Management in Software Developments
Self-Testability in Unit Testing
Cross-Domain Scientific Collaborations Prediction with Citation Information
ConfMan Web 3.0: Decentralized Academic Conference Management System with Rust and Web 3.0
The integration and adaptation of reusable components through semantic interface analysis
Message from the MediComp 2018 Workshop Organizers
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications
Comparative Analysis of ImageNet Pre-Trained Deep Learning Models and DINOv2 in Medical Imaging Classification
Detection of floating objects in liquids
Empirical Effectiveness Evaluation of Spectra-Based Fault Localization on Automated Program Repair
Improvements for 802.11-Based Location Fingerprinting Systems
From MSC and UML to SDL
Twin-page storage management for rapid transaction-undo recovery
Secure IoT Agent Platform with m-Cloud Distributed Statistical Computation Mechanism
GRCEM: Generating Optimal Software Rejuvenation Strategies for Cloud-Edge Collaborative Systems Based on MADRL
Workflow-Driven Modeling for the Compute Continuum: An Optimization Approach to Automated System and Workload Scheduling
A Conceptual Framework for Open Source Software Test Process
Towards Self-Testing of Component-Based Software
A Conformal Prediction-Based Framework for CPU Load Forecasting: A Black-Box Approach
Exploring Collaborative Immersive Virtual Reality Serious Games for Enhancing Learning Motivation in Physics Education
A Load Distribution Method Based on Distributed Hashing for P2P Sensor Data Stream Delivery System
Execution mode management and CU/PE overlap in an SIMD/SPMD parallel language/compiler
Combining Neutron and OpenDaylight for Management of Networking
XMLValue: XML Configuration Attribute Value Recommendation
On the Performance of End-to-End Routing in Complex Networks with Intermittent Links
Building a Community: The Moodbile Perspective
Community Detection in Large Social Networks Based on Relationship Density
Towards a Modular and Customisable Model-Based Architecture for Autonomous Drones
New data supporting the software project costing formulas
Position Statement: Joint COMPSAC/SAINT Panel: Future of the Internet: Activity Status of New-Generation Network Design
A Tree Construction Method for Distributed Video Collection and Composition on the Same World Broadcasting System
Message from the MOWU 2017 Organizing Committee
A (Re)Configuration Mechanism for Resource-Constrained Embedded Systems
On the concurrent behaviour of SCR specifications
Distributed Coordination of IoT-Based Services by Using a Graph Coloring Algorithm
Software technology for scientific and engineering applications
Analyzing and evaluating fundamental design process of checkout system for artificial spacecraft
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns
Information Exposure (IEX): A New Class in the Bugs Framework (BF)
Process Patterns: Reusable Design Artifacts for Business Process Models
Identifying Service Requirements in Solution and Infrastructure Improvement Projects
Internet interactive authoring, teach and learning-a breakthrough for education
A Proof System for mCWQ
QR-Code Based Hospital Systems for Healthcare in Turkey
A Grid Service-Based Engineering Computation Architecture
A Method for Controlling Errors in Two-Class Classification
A Real-Time Text Analysis System
Empirically Based Evolution of a Variability Management Approach at UML Class Level
Improving Human-Centric Software Defect Evaluation, Reporting, and Fixing
A semantics-based method for requirements analysis and system design
Status of a computer-aided system for cytogenetic specimen preparation and analysis
Predicting Network Outages Based on Q-Drop in Optical Network
IDATG: An Open Tool for Automated Testing of Interactive Software
An Evaluation of An Asynchronous Task Based Dataflow Approach For Uintah
Generating Goal-Oriented Test Cases
A Workbench for Privacy Policies
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis
Service-Oriented Maintainability Modeling and Analysis for a Cloud Computing
Towards Correlating Search on Google and Asking on Stack Overflow
Message from the Fast Abstract Chairs
Efficient SVM Based Packer Identification with Binary Diffing Measures
An FSM-based program generator for communication protocol software
Efficient Task Scheduling Using a Hybrid Q-NEH and CS-GW Approach in Fog Computing
CFS-BAS-BP: Traffic Accident Risk Factor Recognition Model based on Combinatorial Feature Selection and Bionic Neural Network
Fuzzy c-Means Clustering Based Polarization Assessment in Intelligent Argumentation System for Collaborative Decision Support
Deterministic execution debugging of concurrent Ada programs
Gigabit Packet Classification by Using Lookahead Caching
System-Level Issues and Approaches in Software Development
A Heart Rate Variability Analysis System Based on LeanCloud and Echarts
A Fast Replica Selection Algorithm for Data Grid
LogKT: Hybrid Log Anomaly Detection Method for Cloud Data Center
Automatic Validation of Java Page Flows Using Model-Based Coverage Criteria
Remote Heart Rate and Heart Rate Variability Detection and Monitoring from Face Video with Minimum Resources
A structured approach t robot programmtmg and teaching
An efficient model of dynamic task scheduling for distributed systems
Statistical Tradeoffs between Generalization and Suppression in the De-identification of Large-Scale Data Sets
Effort-Index-Based Software Reliability Growth Models and Performance Assessment
Dealing with Explainability Requirements for Machine Learning Systems
Summarizing Computer Science Teaching Assistant Feedback with Large Language Models
Precise and Robust Detection of Advertising Fraud
Experiences of a Product Line Migration Project
A Lightweight Component-Based Development Approach for Enterprise Applications
Scenario Architecture - A Methodology to Build a Global View of OO Software System
Embedded Systems Resources: Views on Modeling and Analysis
Certifiable Development Process for Information Processing in the Measurement Domain on the Base of 3W-Models
DDoS Attack Information Sharing Among CDNs Interconnected Through CDNI
From teaching books to educational videos and vice versa: a cross-media content retrieval experience
Future Trends of Software Technology and Applications: Software Architecture
Optimised Fusion Model for Meeting Sulphur Abatement Standards in Shipping Industry
A tool to generate DEBUG program of arbitrary type of microprocessors
Micro-Level Analysis and Visualization of Tennis Shot Patterns with Fractal Tables
Compilers for distributed systems
A Semantic-Based Health Advising System Exploiting Web-Based Personal Health Record Services
Secure and Decentralized Collaboration in Oncology: A Blockchain Approach to Tumor Segmentation
SQL-GENIE: SQL Protection using GENerative Modeling for Anomaly Detection against Injection and Evolved Adversarial Attacks
Application Architecture to Foster User-Centric Information Discovery and Retrieval