yusuke1997/dblp-id-title huggingface dataset:
On the Effectiveness of Random Node Sampling in Influence Maximization on Unknown Graph
The EcoIndex metric, reviewed from the perspective of Data Science techniques
A Framework for User-Friendly Verification-Oriented VNF Modeling
Parallelization of Plane Sweep Based Voronoi Construction with Compiler Directives
Computer techniques ln breast cancer detection by absolute temperature thermography
Distributed data processing requirements engineering: high level DDP design
A Framework Model to Support A/B Tests at the Class and Component Level
Mining Popular Topics from the Media
Somare development: a failure and a success
Gene Network Modules Associated to DPSCs Differentiation
Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation
Testing of concurrent software
An Empirical Study of Classifier Combination for Cross-Project Defect Prediction
A Framework for WWW Query Processing
Integrating Parallel Functions into the Manipulation for Distributed Persistent Objects
Greedy file-a new data organization concept for partial match retrieval
TALS: A Framework for Text Analysis, Fine-Grained Annotation, Localisation and Semantic Segmentation
A probabilistic study on the transaction's waits and deadlocks
The development of ethically informed standards for intelligent monitoring systems of electric machines
SecretSafe: A Lightweight Approach against Heap Buffer Over-Read Attack
Transfer Learning Method for Very Deep CNN for Text Classification and Methods for its Evaluation
A Novel Approach for User Authentication to Industrial Components Using QR Codes
Towards an Authentication Middleware to Support Ubiquitous Web Access
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
P-Tracer: Path-Based Performance Profiling in Cloud Computing Systems
LSTM for Grid Power Forecasting in Short-Term from Wave Energy Converters
GAMES: A General-Purpose Architectural Model for Multi-energy System Engineering Applications
MVGText: Momentum and Variance Guided Hard-Label Text Test Case Generation
Functional program testing
Lightnings over rose bouquets: an analysis of the topology of the Bitcoin Lightning Network
Design of a CIL Connector to SPIN
Game theoretic analysis of the value exchange system
Expiration Timer Control Method for QoS-Aware Packet Chunking
Intent-Based Pseudonymization for Healthcare Workflows on Intra-Hospital Data Space Domain
SocialGuard: Bangla Text-Based Gender Identification for Enhancing Integrity in Social Networks
Load-Adaptive Indexing Method for Schema-less Searches
Formal Verification and Improvement of the PKMv3 Protocol Using CSP
Replay Debugging of Real-Time Vxworks Applications
Big Graph Analytics: Models, Platforms and Optimizations
The software process model
Language files and'data bases - two I/O systems or one?
The On-Board Control Procedures Subsystem for the Herschel and Planck Satellites
Metrics Driven Architectural Analysis using Dependency Graphs for C Language Projects
A Control Approach for Agile Processes
Autotuning CNN Workloads on the Edge: A Hybrid Approach with Cross-Domain Embeddings
Software Commerce Broker over the Internet
Opportunities and Challenges of Social Media in Personal and Societal Well-being
Concurrent transaction execution in multidatabase systems
Improving Social Connections Through Mobile Social Networks
Barriers to the Adoption of Visual Knowledge Management Tools: Challenges at the Intersection of Technology, People, and Process
A Problem Solver for Scheduling Workflows in Multi-agents Systems Based on Petri Nets
Keyword-Based Semi-Supervised Text Classification
A Structured Approach to Handling On-Line Interface Upgrades
Cost Efficiency of Web Systems in Municipal Governments of Japan
Can Developers' Interaction Data Improve Change Recommendation?
Distributed EZ [string processing language]
The software design processor
A Modified Smart Contract Execution Enviroment for Safe Function Calls
A method for maintaining routing data in automated record keeping systems
Designing Reusable LLM-Enhanced Assignments: A Quality-Oriented Framework for Software Engineering Education
Computer Supported Cooperative Work in Software Engineering
An efficient method for incremental attribute evaluation by using multi-dependency
Harnessing Dynamic Interests of Crowd in Chinese Online Shopping Festivals
Panel Description: 40 Years of Software Engineering
Security enhancement of a novel proxy key generation protocol
A New Cohesion Metric and Restructuring Technique for Object Oriented Paradigm
PAIDS: A Proximity-Assisted Intrusion Detection System for Unidentified Worms
Keynote Speech: Model-Driven Agile Development (MAD) for Situation-Aware Software in Ubiquitous Computing Environments
Cryptographic Requirements of Verifiable Credentials for Digital Identification Documents
Interaction Between Unmanned Systems and Humans: An Example of a Smart Passenger Access Gate for Autonomous Urban Passenger Ferries
On Estimating Network Topology from Observed Flow Sets at Measurement Nodes
CRAXfuzz: Target-Aware Symbolic Fuzz Testing
Measuring and Assessing Software Reliability Growth through Simulation-Based Approaches
Customizing k-Gram Based Birthmark through Partial Matching in Detecting Software Thefts
Usage-Based Online Testing for Proactive Adaptation of Service-Based Applications
Flow Control for Higher Resiliency in Wide Area Distributed Cloud Computing
RADC software development specification
Training Sequential CAG Segmentation Models Without Labeled CAG Video Data
AnyControl - IoT Based Home Appliances Monitoring and Controlling
Building Energy Modelling and Monitoring by Integration of IoT Devices and Building Information Models
Client based Object-Oriented Cohesion Metrics
PF-Miner: A New Paired Functions Mining Method for Android Kernel in Error Paths
TransConv-DDPM: Enhanced Diffusion Model for Generating Time-Series Data in Healthcare
A Web-Based Parallel PDE Solver Generation System for Distributed Memory Computing Environments
EmailProfiler: Spearphishing Filtering with Header and Stylometric Features of Emails
Architecting a Testing Framework for Publish/Subscribe Applications
An API Design Process in Terms of Usability: A Case Study on Building More Usable APIs for Smart TV Platform
A Blockchain-Powered Digital Twin Architecture for Consumer-Centric Energy Systems
Context-Aware Personalized Route Recommendations for Bicycle Users Using Large-Scale Mobility Data
Automated Trust Estimation in Developing Open News Stories: Combining Memento & Provenance
Effect of Retraining Graph Generative Models with Generated Graphs
Requirements Change: What's the Alternative?
A Cross-Organizational Identity Proofing System for Seamless Online ID Re-Binding Leveraging Individual Number Cards
The Semantics of the Interaction between Agents and Web Services on the Semantic Web
GenRed: A Tool for Generating and Reducing Object-Oriented Test Cases
Ethics Aspects of Embedded and Cyber-Physical Systems
Graphical Modeling VS. Textual Modeling: An Experimental Comparison Based on iStar Models
SPESC: A Specification Language for Smart Contracts
Distributed Garbage Collection by Timeouts and Backward Inquiry
Software Effort Prediction Models Using Maximum Likelihood Methods Require Multivariate Normality of the Software Metrics Data Sample: Can Such a Sample Be Made Multivariate Normal?
Preventative software systems
Formalization and Verification of the PKMv3 Protocol Using CSP
Software Input Space Modeling with Constraints among Parameters
PACTS: A Service Oriented Architecture for Real-Time Peer-Assisted Content Delivery Service
Re-engineering solutions for Y2K challenge
On Expressing Different Concurrency Paradigms on Virtual Execution Systems
Canonical representations for tissues and textures
A Development Framework for Rapid Meta-Heuristics Hybridization
Maintenance in Joint Software Development
Investigating Transferability in Multi-Agent Reinforcement Learning
A Deep Learning Approach for Estimating Inventory Rebalancing Demand in Bicycle Sharing Systems
Fingerprint Clustering for Forensic Data Indexing
Towards Passive RFID Event
A Coordination Framework for Software Component Based Development
Specifications of a general user interface in LOTOS and OBJ
An automatic debugging approach for logic programming with a method for propagating constraints
Leveraging Semi-Supervised Learning to Reduce Labeled Data Requirements in Intrusion Detection
Productivity Evaluation Indicators Based on LEAN and their Application to Compare Agile and Waterfall Projects
Two Variations to the mCESG Pollsterless E-Voting Scheme
A Review of Dark Web: Trends and Future Directions
A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID
An Improved Design Scheme for Perceptual Hashing Based on CNN for Digital Watermarking
Service Level Management for Service Value Networks
An analysis of test case coverage balancing for fault localization
CLPKIDS: A Program Analysis System for Concurrent Logic Programs
Panel Overview
A Combination of Active and Passive Video Steganalysis to Fight Sensitive Data Exfiltration through Online Video
A Process for Framework Construction Based on a Pattern Language
An approach to software requirement specification
A New Approach to Representing Continuously Moving Regions
Towards Building a Smarter Domain Knowledge Recovery Assistant1
Patterns in the analysis, design and implementation of frameworks
Promoting Environmental Education Using a Multilingual Environment: Manufacturing Soap from Waste Oil
Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics
VISA: A Supervised Approach to Indexing Video Lectures with Semantic Annotations
Enhancing Chemistry Education: Evaluating Methods for Classifying Hand-Drawn Molecules and Generating 3D Visualizations
Deadlock detection in distributed database systems: a performance evaluation study
ACIR: An Aspect-Connector for Intrusion Response
Software Technology in the 21st Centurey: A Technology Forecast
An Edge Marking Technique for Dynamic Slicing of Object-Oriented Programs
User Profiling for Policy Management in Social Communities
Translation-Based Model Checking for PLC Programs
Computer-based intelligent information system
Social Graph Generation & Forecasting Using Social Network Mining
A Lightweight Monitoring and Anomaly Detection Framework for IoT Devices
Tree-Map Visualization for Web Accessibility
Effects of Redundant LiDAR Sensors on Object Hiding Attacks in Autonomous Driving Systems
Computer Science Education in the Asia-Pacific Region in the 21st Century
Evaluation of length and level for simple program schemes
Practical Key Distribution Schemes for Channel Protection
Integration of Heterogeneous Policies for Trust Management
A Tableau-Based Procedure for Model Checking Programs
Deep Learning Applied to Automatic Reclosers Detection in Power Grid
A Dynamic Information Retrieval System for the Web
An Active Database Approach to Integrating Black-Box Software Components
Test Criteria for Context-Free Grammars
A Cryptocurrency Multiple Trading Strategy with Kalman Filter Innovation Volatility Interval Forecasts
Bringing Opportunistic Networking to Smartphones: a Pragmatic Approach
An Extended CP-ABE Based Access Control Model for Data Outsourced in the Cloud
Ensemble-based Efficient Anomaly Detection for Smart Building Control Systems
Using XML to Integrate Existing Software Systems into the Web
Approximating CNN Computation for Plant Disease Detection
Weighted Reward for Reinforcement Learning based Test Case Prioritization in Continuous Integration Testing
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments
Data Mining Technique Effectiveness for Improving Software Productivity and Quality
TRIZ for Software Process Improvement
Uncovering the Metaverse within Everyday Environments: A Coarse-to-Fine ApproachBehaviors
Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems
A deadlock detection and resolution algorithm for sequential transaction processing with multiple lock modes
Unreasonable Effectiveness of Last Hidden Layer Activations for Adversarial Robustness
Natural Language Watermarking Based on Syntactic Displacement and Morphological Division
Decentralized Reinforced Anonymous FLchain: a Secure Federated Learning Architecture for the Medical Industry
An Efficient Distributed Intrusion Detection Scheme
Regression Testing for Web Applications Based on Slicing
Customer Churn Prediction for Telecom Services
IDA-intrusion detection alert
Strengthening Cyber Resilience of Small Businesses in BFSI: A CIA-Driven Strategy for Investment and Risk Management
Secure Fog Computing for Smart Living
Automatic Multi-class Non-Functional Software Requirements Classification Using Neural Networks
Towards Test Architecture Based Software Product Line Testing
A Strategy to Determine When to Stop Using Automatic Bug Localization
A Clustering-Aided Approach for Diagnosis Prediction: A Case Study of Elderly Fall
A Strategy for Aided Diagnosis of Obstructive Sleep Apnea in Children Based on Graph Neural Network
On the Impact of Network Topology on Distributed Online Kernel Learning
Automatic Contrail Detection Using Integrated Satellite Observation, Meteorological Indicators, and Air Traffic Data in the United Kingdom
Leveraging 24/7 Availability and Performance for Distributed Real-Time Data Warehouses
The process design system (PDS)
An object oriented approach to automating patient medical records
Dual-Container: Extending the EJB2.x Container to Support EJB3.0
Situation Based Energy Management Framework on Mobile Devices
Blockchain-Based Interoperable Electronic Health Record Sharing Framework
Facial Image Classification for Obstructive Sleep Apnea Pre-Screening
Semantics for data retrieval in relational database systems
Mobile Technology to Improve Physical Activity Among School-Aged Children in the United Arab Emirates
Teaching Secure Cloud Computing Concepts with Open Source CloudSim Environment
Granular Computing, Computer Security andWeb Intelligence
Transpacific Live Migration with Wide Area Distributed Storage
Intelligent Classification and Retrieval of Software Components
Towards Emergent Agility: Advancing Software Process Engineering
MSC: A Semantic Ranking for Hitting Results of Matchmaking of Services
Metamorphic Testing for Block Ciphers
Exploring the Black-Box: Testing Image Synthesis Systems through Metamorphic Exploration
Optimising Toward Completed Videos in an Online Video Advertising Exchange
Creating a Virtual Reality OER Application to Teach Web Accessibility
Rapid prototyping using FRORL language
Finding Extract Method Refactoring Opportunities by Analyzing Development History
An Implementation of a Still Picture Internet Broadcasting System with Audience-Oriented QoS Control for Smartphones and PCs Audience
A Fuzzy Association Algebra Based on a Fuzzy Object Oriented Data Model
A Multimedia Information System for Document Authoring, Indexing and Presentation
Message from the 2022 Program Chairs-in-Chief
Trustworthiness of Open Source, Open Data, Open Systems and Open Standards
Talk to Your Data: a Chatbot System for Multidimensional Datasets
Aspectual Separation of Feature Dependencies for Flexible Feature Composition
A Knowledge-Oriented Clustering Technique Based on Rough Sets
Promoting MERLOT Communities Based on OERs in Computer Science and Information Systems
Permission Management System: Permission as a Service in Cloud Computing
Message from CORCS-IEESD 2017 Workshop Chairs
Early Identification of Struggling Students in Large Computer Science Courses: A Replication Study
Towards a Service-based Adaptable Data Layer for Cloud Workflows
Traceability ReARMed
Object-Oriented Architectural Support for Developing Complex Systems
Infer Precise Program Invariant Using Abstract Interpretation with Recurrence Solving
CASR: A Collaborative Attention Model for Session-based Recommendation
A Meta-Learning Network Guided by Domain Knowledge of Fundus Images for the Diagnosis of High Myopia
A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra
Modeling of Dynamic Trend of Latency Variations on Mobile Network Using Markov Regime Switching
A model-object based expert system for real-time intelligent control of chemical processes
KOP-Fuzzer: A Key-Operation-based Fuzzer for Type Confusion Bugs in JavaScript Engines
A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems
Mobile Information Agents for Processing under Information Overload: A Position Statement
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances
A Low Cost Hierarchy-Awareness Extension of Skip Graph for World-Wide Range Retrievals
Observational Measures for Effective Profiling of Healthcare Staffs' Security Practices
AdapTIVE: An Intelligent Virtual Environment and Its Application in E-Commerce
Binding Object Models to Source Code: An Approach to Object-Oriented Re-Architecting
Video coding for HDTV systems
CrowdAdaptor: A Crowd Sourcing Approach toward Adaptive Energy-Efficient Configurations of Virtual Machines Hosting Mobile Applications
Utilising Located Functions to Model and Optimise Distributed Computations
Algorithmic Support for Personalized Course Selection and Scheduling
Simulating Power Consumption of Location Tracking Algorithms to Improve Energy-Efficiency of Smartphones
Characteristics of High-Frequency Trading and Its Forecasts
Resource and Role Hierarchy Based Access Control for Resourceful Systems
MasterBlaster: Identifying Influential Players in Botnet Transactions
An Ontology-Based Approach to Reengineering Enterprise Software for Cloud Computing
A Phase-Based Approach to Creating Highly Reliable Software
Computer Ethics Video Clips for University Students in Japan from 2003 until 2013
Chemically-aware Attention-based Multi-modal Fusion Framework for Molecular Representation Learning
Relationship between Internet Gaming Addiction and Body Mass Index Status among Indonesian Junior High School Students
The information industry development in Taiwan
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation
Heart Attack Risk Prediction Using Spiking Neural Networks with Poisson-Based Temporal Encoding
Message from the HCSC Organizing Committee
Log Data as Digital Evidence: What Secure Logging Protocols Have to Offer?
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata
An Adaptive Improved Winnow Algorithm
An Adaptive Control Strategy for Managing Concurrent Service Requests in Service-Based Systems
Segmentation algorithms for abdominal computerized tomography scans
Managing Libre Software Distributions under a Product Line Approach
A Multi-User Visual Object-Oriented Programming Environment
Communication Robot for Elderly Based on Robotic Process Automation
Accountability in a Context-Aware Smarthome Healthcare Reasoning System
Software Architecture Decomposition Using Clustering Techniques
The Study of Brand Perception through Social Network Sites and Corporate Social Responsibility Programs
System Resource Management to Control the Risk of Data-Loss in a Cloud-Based Disaster Recovery
Determinants of Consumer Purchasing Factors through LDA Modeling Using YouTube Data
Application of Tightly Coupled Engineering Team for Development of Test Automation Software - A Real World Experience
Techniques for addressing the Year 2000 transition
Using Semantics-Enabled Information Retrieval in Requirements Tracing: An Ongoing Experimental Investigation
A Hybrid Lightweight LLM Chatbot for Sustainable Cryptocurrency Investment Decisions: Optimizing Small Models for Domain-Specific Performance
A Pattern-Based Technique for Developing UML Models of Access Control Systems
Software Asset Management and Domain Engineering
Trends and developments in CASE and structured methods: a European perspective
Agile Requirements Engineering in a Distributed Environment: Experiences from the Software Industry During Unprecedented Global Challenges
Robotic Gel Dispensing based on Visual Servoing for Fiber Threading
A Software Tool for Floating Point Interval Analysis with Improved Precision for Javascript-Based Medical Applications
ucR Based Interoperable Spatial Information Model for Realizing Ubiquitous Spatial Infrastructure
Exploring Metamorphic Testing for Fake-News Detection Software: A Case Study
WfCommons: Data Collection and Runtime Experiments using Multiple Workflow Systems
Measuring the Intensity of Object Coupling in C++ Programs
Process Support and Knowledge Management for Virtual Teams Doing Agile Software Development
PerAd-Service: A Middleware Service for Pervasive Advertisement in M-Business
Optimizing Sports Predictions Using Model Selection: A Case Study in Reproducible Data-Science
A Childhood Disease Database Based on Word Segmentation Technology: Research and Practice
Applying Composable Security Properties to Assessment of Information Systems
The slotted ring vs. the token-controlled ring: A comparative evaluation
Formal Verification of Blockchain Smart Contract Based on Colored Petri Net Models
A Wireless Early Prediction System of Cardiac Arrest through IoT
Intelligent Probabilistic Forecasts of Day-Ahead Electricity Prices in a Highly Volatile Power Market
Portfolio Optimization Using a Novel Data-Driven EWMA Covariance Model with Big Data
Dynamically Evolvable Distributed Systems
Decentralized Transaction Management in Multidatabase Systems
Plug & Play Device for Hybrid Smart Classroom: A Prototype Development
Message from the CDS 2015 Workshop Organizers
Contexts Embedding for Sequential Service Recommendation
LASG: Streamlining Legal Adjudication with AI-Enabled Summary Generation
Towards a General Supporting Framework for Self-Adaptive Software Systems
Estimating Sleep Duration from Temporal Factors, Daily Activities, and Smartphone Use
Towards a Multi-screen Application Model for the Web
Tool Support to Implementing Business Rules in Database Applications
Trustworthiness Features of Commercially Available Mobile Health (mHealth) Applications
Applied Quality Assurance Methods under the Open Source Development Model
Venice - a Toolkit/Framework for Integration and Component-Based Computing
Meta Model Approach for Mediation
HOSHMAND: Accelerated AI-Driven Scheduler Emulating Conventional Task Distribution Techniques for Cloud Workloads
A Clustering-Bayesian Network Based Approach for Test Case Prioritization
Structuring Software Functional Requirements For Automated Design And Verification
Trace and Algebraic Semantics for Partial Store Order Memory Model
S-MAIDS: A Semantic Model for Automated Tuning, Correlation, and Response Selection in Intrusion Detection Systems
Early Recurrence Detection of Invasive Ductal Carcinoma Utilizing High-Dimensional Genomic Data
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking
Hands-on Lab on Smart City Vulnerability Exploitation
Protecting Information in the Web - Position Paper
Business Modeling of a City Logistics ICT Platform
ProvVacT: A Provenance Based mHealth Application for Tracking Vaccine History
An Empirical Study on the Effects of Entry Function Pairs in Fuzzing Smart Contracts
EHDNet: Enhanced Human Detection Network for Search and Rescue
A Graph Construction Method for Anomalous Traffic Detection with Graph Neural Networks Using Sets of Flow Data
Assessing Maintainability Risks in the Open Source Software Supply Chain: An Empirical Quality Approach
Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems
Compressing an Inverted File with LCS
A knowledge-based supervision model for machine tools
Location Updates In Cellular Networks Using Bloom Filters
Improving Fault Localization by Complex-Fault Oriented Higher-Order Mutant Generation
GAPS: A Genetic Programming System
MT-PART: Metamorphic-Testing-Based Adaptive Random Testing Through Partitioning
Towards Unlocking Sustainability Potentials - Adoption and Diffusion of Digital Innovation