yusuke1997/dblp-id-title huggingface dataset:
A Comparison of EEG and NIRS Biomarkers for Assessment of Depression Risk
The Internal Revenue Service function point analysis program: a brief
A testing methodology framework
An experience of software reuse activities
How Much Support Can API Recommendation Methods Provide for Component-Based Synthesis?
A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and Software Provisioning
Identification and Utilization of Components for a Linked Open Data Platform
The area-wide real-time traffic control system (ARTC): a distributed computing system
Using Partition Information to Prioritize Test Cases for Fault Localization
A Node Replication Method to Guarantee Reachability for P2P Sensor Data Stream Delivery System on Heterogeneous Churn Situations
2D-CHI: A Tunable Two-Dimensional Class Hierarchy Index for Object-Oriented Databases
Message from the NETSAP 2018 Workshop Organizers
SE-EQUAM - An Evolvable Quality Metamodel
Enhancing the Formal Verification of Train Control Systems based on Decomposition
Preserving Privacy in E-health Systems Using Hippocratic Databases
Further Theoretical Contributions to a Privacy Preserving Distributed OLAP Framework
Deep Learning-Based Feature Fusion for Emotion Analysis and Suicide Risk Differentiation in Chinese Psychological Support Hotlines
Workshop on Architectures for Complex Application Integration (WACAI 2003)
Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting
Requirements Model Oriented System Generation Tool and Its Practical Evaluation
DPMS: A Swift Data Dissemination Protocol Based on Map Splitting
Recursive Segmentation Procedure Based on the Akaike Information Criterion Test
Understanding Veterans Expression of Anger Using Social Media Analysis
A Sharded Blockchain Architecture for Healthcare Data
I3: A Petri-Net Based Specification Method for Architectural Components
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
Through the Internet of Things - A Management by Delegation Smart Object Aware System (MbDSAS)
A Read-Optimized Index Structure for Distributed Log-Structured Key-Value Store
Novel Data-Driven Dynamic Network Science Application in Algorithmic Trading
Creative Computing for Bespoke Ideation
Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project
Message from the IEESD 2008 Workshop Organizers
A Nested Invocation Suppression Framework for Active Replication Fault-Tolerant CORBA
A Survey of Adversarial Methods in Autonomous Driving
On statistical computer programs and literary criticism
Two-way coloring approaches for method dispatching in object-oriented programming systems
Insider Threats to Cloud Computing: Directions for New Research Challenges
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
CD-LEAK: Leaking Secrets from Audioless Air-Gapped Computers Using Covert Acoustic Signals from CD/DVD Drives
Testing the Semantics of W3C XML Schema
On the Selection of Strength for Fixed-Strength Interaction Coverage Based Prioritization
A New Performance Analysis Model of the Local Switching System
A software engineering perspective to the design of a user interface framework
MemFlex: A Hybrid Memory System to Boost Cost of Ownership in Data Centers
Target-X: An Efficient Algorithm for Generating Targeted Adversarial Images to Fool Neural Networks
Developing an Open Educational Resource: Reflections on a Student-Staff Collaboration
Recent developments in data base and information retrieval hardware architectures
Collaborative Computation Offloading in Heterogeneous Asynchronous Cloud Environment
Experiences in Accurately Estimating Electronic Forms Conversion Services with a Spiral Estimate Process
SQS: A Secure and QoS Guaranteed Solution for Mobile Service
Software productivity metrics-new initiatives in making it work (panel)
Towards course of disease based epidemiological modelling: motivation and computational optimization
Gestation: A Microservice architecture for a prenatal care application
Domain-Agnostic Context-Aware Framework for Natural Language Interface in a Task-Based Environment
An Approach to Using Existing Online Education Tools to Support Practical Education on MOOCs
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications
Using Convolutional Neural Network to Epilepsy Brainwave Recognition
Multi-Source Heterogeneous Core Data Acquisition Method in Edge Computing Nodes
A Statistical Approach for Estimating CPU Consumption in Shared Java Middleware Server
Proximity Verification Function of Real World Data Sources Based on Similarity Analysis on Environmental Information
Cooperative UAVs Gas Monitoring using Distributed Consensus
Architectural Evolution of Legacy Systems
Multiware Platform: an open distributed environment for multimedia cooperative applications
An Agent-Oriented Logic for Belief and Trust
Computer Vision Based Systems for Human Pupillary Behavior Evaluation: A Systematic Review of the Literature
A Markovian Probabilistic Model for Risk Analysis and Forecasting in Big Healthcare Data Settings
Adaptive Agent Model: an Agent Interaction and Computation Model
BDViewer - A Web-Based Big Data Processing and Visualization Tool
Knaster Procedure for Proportional Fair Wireless Channel Allocation
A Usability-Pattern-Based Requirements-Analysis Method to Bridge the Gap between User Tasks and Application Features
Interoperable Spatial Information System Architecture Based on Ubiqiutous ID Infrastructure
A Practical Method for Watermarking Java Programs
Projection-Based User Interface for Smart Home Environments
PRUCC-RM: Permission-Role-Usage Cardinality Constrained Role Mining
DAC-PPYOLOE+: A Lightweight Real-time Detection Model for Early Apple Leaf Pests and Diseases under Complex Background
Rich Media Retrieval in an Object XML Framework: A Case Study with Flash Movies Using Structural Join Index Hierarchy
Towards Examining The Security Cost of Inexpensive Smart Home IoT Devices
Advancing Industry-Related Elements: The Meat on the Curricula Bones
Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition
Experiences from the first delivery of a new immersive software engineering course: mathematical foundations and data analytics
An Accurate Model for Hurricane Trajectory Prediction
Application Generation Framework for Real-Time Complex Event Processing
Spreadsheet Element Sharing through Synchronization
An Evaluation of Stochastic Quantitative Resilience Index Based on SLAs of Communication Lines
Matrix Factorization Model with Dual Preferences for Rating Prediction
SN2K Attacks and Honest Services
Software Industry Practice in Africa: Case Study Sudan
Negotiating Service Requirements among Strategic Actors
Observable Context-Based User Intention Specification in Context-Aware Environments
Enhancing HIPAA Compliance in AI-driven mHealth Devices Security and Privacy
Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems
Autonomous Real-Time Navigation Based on Work Load Situation in Demand-Oriented Information Service System
Toward Design of Garbled Circuits Using Quantum Gates
Using Dependency Relations to Improve Test Case Generation from UML Statecharts
Handling Uncertainty in Self-Adaptive Software Using Self-Learning Fuzzy Neural Network
Educational app Proposal to Support Pregnant Women
Formalization and Verification of Percolator Using CSP
A Visual Authoring System for Animated Multimedia Homepage
Comprehensive Review of Collaborative Network Attacks in MANET
The Transition of Context-Free Textual Languages into a Visual Programming Notation via Graph Techniques and a Metal Tool
Mobile Agents Protection in the Internet Environment
An Object-Oriented Real Time Systems Modeling and Verification Methodology
Power-Saving Mechanism for IEEE 802.11 Clients in a Multicast Multimedia Streaming Network
Image Analysis Using Machine Learning: Anatomical Landmarks Detection in Fetal Ultrasound Images
Decision Support for User Interface Design: Usability Diagnosis by Time Analysis of the User Activity
The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations
Self-Management of COTS Component-Based Systems Using Wrappers
FPCS: A Formal Approach for Privacy-Aware Context-Based Services
A Hybrid Device Profile Detection Method and Its Applications
Algebraic engineering of understanding: global hierarchical coordinates on computation for the manipulation of data, knowledge, and process
Conformance Checking with Constraint Logic Programming: The Case of Feature Models
Trustworthy Name Resolution Using TLS Certificates with DoT-enabled Authoritative DNS Servers
MERLOT - A Reliable Framework for OER
Performance evaluation of concurrent asynchronous systems using petri nets
Evolution of Quantum Computing: A Systematic Survey on the Use of Quantum Computing Tools
Matching Service Requirements to Empirical Capability Models in Service-Oriented Architectures
Object state testing for object-oriented programs
Dynamic Software Architecture Slicing
What is a (Digital) Identity Wallet? A Systematic Literature Review
Improving Insurance Fraud Detection With Generated Data
A Model for Privacy Policy Visualization
Forgetting Test Cases
Data models for automatic inspection
An Instant Messaging Framework for Flexible Interaction with Rich Clients
Software development issues for parallel processing
Architectural Framework for Developing Concurrent Applications
An architecture for enabling A/B experiments in automotive embedded software
Protecting XML Documents: Position Paper
Information Theoretic Metrics for Software Architectures
UBI-Tree: Indexing Method for Schema-Less Search
What Happens in Peer-Support, Stays in Peer-Support: Software Architecture for Peer-Sourcing in Mental Health
Preventing Illegal Usage of Mobile Phone Software
Using TTCN-3 to Test SPDY Protocol Interaction Property
Bivariate Software Fault-Detection Models
PPDS: Privacy Preserving Data Sharing for AI applications Based on Smart Contracts
Parallelizing nested loops on multicomputers-the grouping approach
Keynote Speech: The Information Age: Challenges and Opportunities for Control and Engineering
Testing versus Static Analysis of Maximum Stack Size
The Design of Agent-Based Tools for Bio-Informatics
The modularity of MSC/NASTRAN
A Comparative Analysis of Foraging Strategies for Swarm Robotics using ARGoS Simulator
Component Technologies: Avoiding the Herd Mentality
Virtual Production: Global Collaboration and Challenges
Applying Particle Swarm Optimization to Pairwise Testing
Towards a Next-Generation Matrix Library for Java
System requirements specification for real-time systems
Provably Efficient Non-Preemptive Task Scheduling with Cilk
Strategies for structured and fault-tolerant design of recovery programs
Secure IoT Data Management in a Private Ethereum Blockchain
An Ontology of Environments, Events, and Happenings
Learning Motion Planning Functions using a Linear Transition in the C-space: Networks and Kernels
Empirical Analysis of the Growth and Challenges of New Programming Languages
An illustration of systematic design of parallel programs for real-time applications
Scan-Based Self Anomaly Detection: Client-Side Mitigation of Channel-Based Man-in-the-Middle Attacks Against Wi-Fi
Object-oriented database systems
TiViPE - Tino's Visual Programming Environment
Liaison: an intelligent rule driven interface for software engineering environments
Using Recurrent Neural Network for Intelligent Prediction of Water Level in Reservoirs
On schema integration in a heterogeneous distributed database management system
Converting Web Applications to Data Components: Design Methodology
Smart Contract Microservitization
Let's Block Encrypted Malicious Sites
Multi-Criteria Preference Analysis for Systematic Requirements Negotiation
State Estimation Using Neural Networks in Industrial Processes
What makes Dew computing more than Edge computing for Internet of Things
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming
SoCeR: A New Source Code Recommendation Technique for Code Reuse
SIMD and MIMD processing in the Texas Reconfigurable Array Computer
Interpretable Model for Brain Tumor Segmentation and Patient Survival Data
Current Electronic Medical Record in China
A parallel linked list for shared-memory multiprocessors
Best Principles in the Design of Shared Software
EASE: an embedded algebraic specification environment
An Intelligent Information System for Maternal and Child Health Care
SCAN: A HealthCare Personalized ChatBot with Federated Learning Based GPT
A Secure and Flexible Electronic-Ticket System
Mechanical synthesis of a unification algorithm in PowerEpsilon
FedAccess: Federated Learning-Based Built Surface Recognition for Wheelchair Routing
Towards Component-Based Software Engineering
On the Use of Gaussian Process Regression and Multiple Imputation in Cox Regression Models with Time-Dependent Covariates
Load Prediction for Data Centers Based on Database Service
Reducing the Number of Initial Database States for Integration Testing
A New Temporal Logic CTL[k-QDDC] and Its Verification
Using Honey Templates to Augment Hash Based Biometric Template Protection
The requirement model in a knowledge-based rapid prototyping system
Service-Oriented Modeling: An Extensive Reuse Method
Some Maintainability Metrics for a Communication Protocol Specified in Estell
NLP-Supported Decision-Making
Message from The Student Research Symposium Co-Chairs
Safety of the Intended Functionality of External Human Interfaces: Gaps and Research Agenda
A Component-Based Software Development Model
Putting Business into Business Process Models
Application of Complex Hilbert Principal Component Analysis to Financial Data
There are no silver bullets! [software engineering]
Tridirectional Computed Chaining: An Efficient Hashing Algorithm for Limited Space Applications
Modeling MultiPath TCP for Control Parameter Tuning
TRUST-CAP: A Trust Model for Cloud-Based Applications
A Soft Constraint Privacy Model based on Identifiability
Next Generation Application Integration: Challenges and New Approaches
Reviving Pacbase COBOL-Generated Code
Access Control Model for the My Number National Identification Program in Japan
Reverse engineering tools supporting LDBR model for logical database design
A database query language for visual interfaces
Impact of Adding Security to Safety-Critical Real-Time Systems: A Case Study
An Extention of Lazy Abstraction and Refinement for Program Verification
Adaptive Agile Performance Modeling and Testing
The Anatomy of Software Changes and Bugs in Autonomous Operating System
A Spoofed E-Mail Countermeasure Method by Scoring the Reliability of DKIM Signature Using Communication Data
On the nature of bias and defects in the software specification process
A Scalable Automated Diagnostic Feature Extraction System for EEGs
Design and Implementation of a Web-Based Bulletin System for Official Documents
Cloned Code Clustering for the Software Product Line Engineering Approach to Developing a Family of Products
IMS Threat and Attack Surface Analysis Using Common Vulnerability Scoring System
DistGear: A Lightweight Event-Driven Framework for Developing Distributed Applications
Video Forensics for Detecting Shot Manipulation Using the Information of Deblocking Filtering
Message from the QATWBA'05 Program Co-Chairs
Ubiquitous Computing for Hospital Applications: RFID-Applications to Enable Research in Real-Life Environments
Optimal data migration policies in distributed databases
Hardware Authenticator Binding: A Secure Alternative to Passkeys
A Japanese Software Keyboard for Tablets that Reduces User Fatigue
Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata
Improving Packet Capture Trace Import in Trace Compass with a Data Transformation DSL
Deriving distributed algorithms from a general predicate detector
A New Framework for Testing Real-Time Software
Decentralizing Identity Management and Vehicle Rights Delegation through Self-Sovereign Identities and Blockchain
Chinese Medical Named Entity Recognition Based on Multi-word Segmentation and Multi-layer BILSTM
Building and Managing XML/XSL-powered Web Sites: an Experience Report
Towards to Compose Cloud Service Flexible Workflow Applications
Improving Classification of Breast Cancer by Utilizing the Image Pyramids of Whole-Slide Imaging and Multi-scale Convolutional Neural Networks
A Complete Textual Merging Algorithm for Software Configuration Management Systems
Coordinating Web Services Using Channel Based Communication
Agile, Continuous Integration, and DevOps
Message from SETA 2017 Program Chairs
On the Migration of Legacy Systems to an Event-Driven Architecture: A Survey
Processing the transitive-closure logic rules on shared-nothing multiprocessor systems
Towards Functional Analysis of IoT Malware Using Function Call Sequence Graphs and Clustering
A Formal Method for Analyzing Software Architecture Models in SAM
Message from the DSA Workshop Organizer
By Machine Learning Techniques Predicting Post-COVID-19 Condition
A Suite of Metrics for Calculating the Most Significant Security Relevant Software Flaw Types
Research on the Efficiency of Operating Room Management Through Numerical Optimization and Matters to be Considered in the Process
Modeling of A-Posteriori Access Control in Business Processes
Emergence of Fashion Cycle by Agent-Based Model of WoM Dissemination
The Application of Case-Based Reasoning to Early Web Project Cost Estimation
Multi-faceted Classification for the Identification of Informative Communications during Crises: Case of COVID-19
Grey Wolf Optimizer Enhances Adaptive Atrous Spatial Pyramid Pooling for Efficient Multi-Scale Feature Selection in Medical Image Segmentation
OCL4X: An Action Semantics Language for UML Model Execution
Polynomial programming using Groebner Bases
Meta-synthetic Computing Formula of Situation Assessment in Social Interactions
The IEEE standards generation process
Software Engineering Interpretation of Information Processing Regulations
LTL Model Cheking of Service-Based Business Processes in the Cloud
Issues in Modeling for Data Mining
Selection of Melody Lines for Music Databases
Performance Evaluation of an Open-Source Implementation of Content-Centric Networking
An Amodal Segmentation Pipeline for Critical Infrastructure Asset Imaging
Implementation and performance assessment of multilevel data structures
VAL: a versatile robot programming and control system
Online Non-stop Software Update Using Replicated Execution Blocks
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
An Architecture for a Policy-Oriented Web Browser Management System: HiFiPol: Browser
An Approach for Developing a Conceptual Quality Model by Changing the Learner Behavior with OER
Mitigating an Oxymoron: Compliance in a DevOps Environments
A fully-distributed approach to concurrency control in replicated database systems
Experiential Learning System with Generative Art Using Virtual Spaces
Position Statement: How Far Have We Come?
Change Impact Analysis Based on a Taxonomy of Change Types
Efficient General Policy Decision by Using Mutable Variable Aware Cache
Seer: A Lightweight Online Failure Prediction Approach
Build Connections Between Two Groups of Images Using Deep Learning Method
Algorithmic Input Generation for More Effective Software Testing
ArtArchitect: Adaptive Depth Correction and Outpainting for Realistic World Generation
AssistantGraph: An Approach for Reusable and Composable Data-Driven Assistant Components
Computer vision classification of automotive control arm bushings
Comparing Fault-based Testing Strategies of General Boolean Specifications
Failure Planning in STESCA
A NIS Directive Compliant Cybersecurity Maturity Assessment Framework
Transforming a Software Product Company into a Service Business: Case Study at F-Secure
A Dictionary-Based Compressed Pattern Matching Algorithm
AI to the Test: Measuring ChatGPT's Objective Accuracy in the SATs in Comparison to Human Performance
Modeling the Cost Structure of Identity Proofing
Resolution of system design problems
A Case Study in Supporting Schema Evolution of Complex Engineering Information Systems
A Resource Estimation Method in Multi-Cloud Environment with a Model Based on a Repairable-Item Inventory System
Adaptive Web Services Testing
A Fluid-Based Model of a Transport Protocol in Content-Centric Networking
Cardinality Analysis to Classify Malicious Domain Names
Automatic Monitoring System for Engines Motion Attitude Based on Video Image Detection
S-Flink: Schedule for QoS in Flink Using SDN
Estimation Method of Traffic Volume in Provincial City Using Big-Data
MTL-DQA: Multi-Task Learning with Psychological Indicators for Enhanced Quality in Depression Community QA System
A Software Process Management System Considering Workers' Workload
Efficient Management of Consistent Backups in a Distributed File System
Handling Multimedia Data for Mobile Computers
Trajectory-Aware Framework for Dynamic MEC Server Selection in 5G Networks
Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988
Featured Event Sequence Graphs for Model-Based Incremental Testing of Software Product Lines
A content-based search engine on medical images for telemedicine
A Language for Developing Collaborative Learning Activities on World Wide Web
Implementation and Evaluation of an OpenFlow-Based Access Control System for Wireless LAN Roaming
State-Based Tests Suites Automatic Generation Tool (STAGE-1)
A Hazard Detection Method for Bicycles by Using Probe Bicycle
Serialised Pulmonary Lesion Segmentation with Spatiotemporal Transformer
SoR-Based Programmable Network for Future Software-Defined Network
Causality-Aware Pattern Mining Scheme for Group Activity Recognition
InterViewR: A Mixed-Reality Based Interview Training Simulation Platform for Individuals with Autism
Storage System and the Multimedia Challenges
Exploring Author Profiling for Fake News Detection
Message from the EATA 2017 Co-Chairs
A Best-Effort Damage Mitigation Model for Cyber-Attacks on Smart Grids
Anomalous IP Address Detection on Traffic Logs Using Novel Word Embedding
Integrating Goal Models and Problem Frames for Requirements Analysis of Self-Adaptive CPS
A distributed multiprocessor traffic control system
A Study on Sparse-Modeling Based Approach for Betweenness Centrality Estimation
Exploratory Study for Data Visualization in Internet of Things
The Graph-Massivizer Approach Toward a European Sustainable Data Center Digital Twin
XML-Based Reusable Component Repository for Embedded Software
Dynamic Query Scheduling for Online Integration of Semistructured Data
A Complex Event Routing Infrastructure for Distributed Systems
Are knowledge and usage of microservices patterns aligned? An exploratory study with professionals
Scale Free in Software Metrics
Organizing software repositories modeling requirements and implementation experiences
Related Questions Retrieval Model in Stack Overflow based on Semantic Matching
A Design of IoT-Based Searching System for Displaying Victim's Presence Area
Decomposition of a relation into fourth normal forms
Reducing Network Traffic Using Two-layered Cache Servers for Continuous Media Data on the Internet
An access control model considering with transitions of access rights based on the blockchain
Design of Service Component Layer in SOA Reference Architecture
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing
Development of Home Management System Using Arduino and AppInventor
An Investigation of the Role of Service Level Agreements in Classified Advertisement Websites
Resource Instantiation Policies for Software Process Environments
Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security
Exception Handling in Component-Based System Development
Towards Designing Shared Digital Forensics Instructional Materials