yusuke1997/dblp-id-title huggingface dataset:
SecureCloud: Towards a Comprehensive Security Framework for Cloud Computing Environments
Fault-Tolerant Wireless LAN Roaming System Using Client Certificates
Understanding Socio-technical Factors Influencing Testers in Software Development Organizations
An SLA-Driven Cache Optimization Approach for Multi-tenant Application on PaaS
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP
VID: Virtual Information Desk
Respecting Temporal Constraints in Virtualised Services
Challenges in Selecting COTS Component Guidelines
Code Synthesis Based on Object-Oriented Design Models and Formal Specifications
An Object-Passing Model for Parallel Programming
Explaining Health Risk Behaviors in the U.S. with Social Deprivation at Local and Regional Levels
SPTP: A Trust Management Protocol for Online and Ubiquitous Systems
Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability
Extracting Social Network among Various Entities from Chinese News Stories by Content Analysis
Personalized Pain Study Platform using Evidence-Based Continuous Learning Tool
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants
Designing a Distributed Software Development Support System Using a Peer-to-Peer Architecture
Safe Regression Test Selection Based on Program Dependence Graphs
Agent Marketplaces and Deep Learning in Enterprises: The COMPOSITION Project
Message from the IWSC'05 Workshop Organizers
Identifying andTesting for Insecure Paths in Cryptographic Protocol Implementations
Message from OER 2017 Workshop Organizers
DELTA-DEsign Language To Actor
Trust-Based Development Framework for Distributed Systems and IoT
How Do Avatar Appearances Affect Communication from Others?
HIPAAChecker: The Comprehensive Solution for HIPAA Compliance in Android mHealth Apps
Getting Secure Software Assurance Knowledge into Conventional Practice: Three Educational Initiatives
SODA: a security model for object-oriented database management systems
An Analysis on Availability Commitment and Penalty in Cloud SLA
FLEDGY: Federated Learning for Edge Devices Accommodating GPU Diversity
Identifying and Breaking Necessary Constraints to Web-Based Metacomputing
Virtual AMT for Unified Management of Physical and Virtual Desktops
Object-oriented paradigm and software engineering
Towards Four-Layer Framework of Combinatorial Problems
Research on Asynchronous Inter-VM Communication Mechanism Based on Embedded Hypervisor
Rule Base Verification Using Petri Nets
Enabling the Automation of Handler Bindings in Event-Driven Programming
Identifying Buildings with Ramp Entrances Using Convolutional Neural Networks
Parallel Pthread library (PPL): user-level thread library with parallelism and portability
Quality Validation through Pattern Detection - A Semantic Web Perspective
A Market-in-Market Collaborative Model towards Application Marketplaces
Panel Description: Software Testing for Large Globally Distributed Projects
A Multi-case Perspective Analytical Framework for Discovering Human Daily Behavior from Sensors using Process Mining
Defining the software process for intranet distribution
An Approach for Developing Adaptive, Mobile Applications with Separation of Concerns
Distributed Object-Oriented Real-Time Simulation of Ground Transportation Networks with the TMO Structuring Scheme
A Lightweight Multi-receiver Encryption Scheme with Mutual Authentication
A P2P Delivery Method for Sensor Data Stream Based on Load Estimation from Collection Cycles
Using Web Search Results and Genetic Algorithm to Improve the Accuracy of Chinese Spam Email Filters
Software metrics for CASE development
Effects of resampling image methods in sugarcane classification and the potential use of vegetation indices related to chlorophyll
Back-End Software for Highly Dependable Real-Time Control Systems
An Assessment Approach To Analyzing Benefits and Risks of Product Lines
Component Reuse Through Reverse Engineering and Semantic Interface Analysis
Trading Integrity for Availability by Means of Explicit Runtime Constraints
SMT-Based Timing Analysis and Verification of Real-Time Task
Interaction in Virtual Environments Using Smartwatches: A Comparative Usability Study Between Continuous Gesture Recognition and MDDTW
An Innovative Method for Efficient Coverage Data Reduction in Multiple Fault Localization
A UML-Based Framework for Design and Analysis of Dependable Software
An Editing System for Working Processes
Data Linking as a Service: An Infrastructure for Generating and Publishing Linked Data on the Web
Reach Availability Modeling of Replicated Services
Data-Driven Generation of Medical-Research Hypotheses in Cancer Patients
Modeling by Form Transformation for End-User Initiative Development
MetaWSL and Meta-Transformations in the FermaT Transformation System
Remote Software Development: A Student-staff Collaboration to Build a Showcase Platform for Non-traditional Digital Artefacts
Performing an APT Investigation: Using People-Process-Technology-Strategy Model in Digital Triage Forensics
Army software metrics training
Design of Common Software Architecture as Base for Application Generator and Meta-Generator for Interactive Systems
Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot
Two n-point fast walsh transform sorting algorithms
Software as a Service: A Negotiation Perspective
A Self-enhanced Automatic Traceability Link Recovery via Structure Knowledge Mining for Small-scale Labeled Data
Recovering a Business Object Model from Web Applications
A Method Based on Improved Bayesian Inference Network Model and Hidden Markov Model for Prediction of Protein Secondary Structure
Computer graphic models for the human face
A virtual coaching platform to support therapy compliance in obesity
Improving I/O response times via prefetching and storage system reorganization
Approximation Algorithms for Minimizing the Number of Roles and Administrative Assignments in RBAC
Towards An Effective and Efficient Machine-Learning-Based Framework for Supporting Event Detection in Complex Environments
The Sponge Structure Modulation Application to Overcome the Security Breaches for the MD5 and SHA-1 Hash Functions
Deriving Specifications for Composite Web Services
Automatic Fix for C Integer Errors by Precision Improvement
Practitioners' Expectations on Code Smell Detection
A Model-Based Design Tool of Automotive Software Architecture
A scheme for tolerating faulty data in real-time systems
Analysis of Message Delivery Delay in Geographic DTN Routing
Verification of Web Service Conversations Specified in WSCL
Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering
Modular Design of Reactive Systems
COMPSAC Panel Session on Trustworthy Computing
Execution time behavior of certain high level language constructs on a feedback data flow architecture
Software Fault Proneness Prediction with Group Lasso Regression: On Factors that Affect Classification Performance
Approximate Web Database Snapshots
Towards a Multi-Tenant Microservice Architecture: An Industrial Experience
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility
LXC Container Migration in Cloudlets under Multipath TCP
Performance Comparison of Geographic DTN Routing Algorithms
TBCUP: A Transformer-based Code Comments Updating Approach
Welcome - from Sorel Reisman COMPSAC Standing Committee Chair
A New Paradigm to Address Threats for Virtualized Services
Performance Modeling of Publish/Subscribe Middleware Components
An Enterprise Social Recommendation System for Connecting Swedish Professionals
Message from the NETSAP and SIMICE Workshop Organizers
MRehab: Mutlimodal data acquisition and modeling framework for assessing stroke and cardiac rehabilitation exercises
Privacy by Design: Proposing a Generic Framework for Privacy Compliant Experiment Repository Tool
How Agile Impacts a Software Corporation: An Empirical Study
The Design and Implementation of a Virtual Conference System
Consolidation of Query Results in a Multidatabase Environemnt: An Object-Oriented Approach
OPUS: an Alternate Reality Game to learn SQL at university
Privacy-Preserving Data Publishing for Free Text Chinese Electronic Medical Records
Towards Verified Safety-critical Autonomous Driving Scenario with ADSML
The clustering Property of Corner Transformation for Spatial Database Applications
Software development: a paradigm for the future
A History-Based Automatic Scheduling Model for Personnel Risk Management
Message-Passing Based Communication via Synchronous Execution (Channels)
Distributed Ledger Technology as a Tool for Voluntary Standardization Compliance in Emerging Technologies: A Legal View
An Efficient Hash-Based Method for Discovering the Maximal Frequent Set
Early and not-so-early prototyping-rationale and tool support
Optimizing Packet Transmission Scheduling for Enhanced Web QoE in Wireless LAN
Post-stroke Exercise Assessment using Hybrid Quantum Neural Network
Smart Applications in Heat and Power Systems
Access Control Framework for Secure Network Computing Environment
Simulation of Process Control with WirelessHART Networks Subject to Clock Drift
Technology transfer of software engineering to developing countries
SIROM3 - A Scalable Intelligent Roaming Multi-modal Multi-sensor Framework
sshr: An SSH Proxy Server Responsive to System Changes without Forcing Clients to Change
Forecasting the Grid Power Demand of Charging Stations from EV Drivers' Attitude
Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems
Mining Five Years of Actively Exploited Vulnerabilities
Predicting Bug Inducing Commits Using Commit-State Transition Analysis
Visual inspection automation
Policies to Enable Serving Untrusted Services on Alternative (Non-3GPP) and Untrusted Access Networks in EPS
Web table data integration based on smart campus scenarios to resolve name disambiguation of scientific research personnel
DIG: A Tool for Software Process Data Extraction and Grooming
Mining Sequential Patterns to Explore Users' Learning Behavior in a Visual Programming App
A New Methodology Based on Kano Model for the Evaluation of a New Product Acceptability during the Front-End Phases
An iterative method for secure inter-procedural information flow control
Condition-based software testing strategies
An AADL-Based Modeling Method for ARINC653-Based Avionics Software
Automatic Refinement of Distributed Systems Specifications Using Program Transformations
IDS-MA: Intrusion Detection System for IoT MQTT Attacks Using Centralized and Federated Learning
Role-based Decomposition for Improving Concurrency in Distributed Object-Oriented Software Development Environments
A Culturally Tailored Intervention System for Cancer Survivors to Motivate Physical Activity
Frameworks of Composite Services Execution Engine with Feedback Control
Mining Test Oracles for Test Inputs Generated from Java Bytecode
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
A Defect Estimation Approach for Sequential Inspection Using a Modified Capture-Recapture Model
Using SOAP to Clean up Configuration Management
Localization Method for SLAM using an Autonomous Cart as a Guard Robot
An architecture for evolutionary database system design
A formal technique to analyze real-time systems
Message from the IWSSE 2008 Workshop Organizers
Design and Implementation of a Network Application Architecture for Thin Clients
Explainable Artificial Intelligence Techniques for Software Development Lifecycle: A Phase-specific Survey
H-PCTE-a high performance object management system for system development environments
The Level of Decomposition Impact on Component Fault Tolerance
Mockup-driven Fast-prototyping Methodology for Web Requirements Engineering
From Embedded Systems to Cyber-Physical Systems: Research Challenges and Application Areas
Designing Chinese Typeface Using Components
Study on Assessment Methods of Developmental Coordination Disorder in Children
Teachers' perception of higher education in a transition scenario
Computer Literacy Education: Challenges in Multicultural Environments: A View on Japanese University Environment
Reusing CAD Tools in Object Oriented Based Framework
An Ontology Alignment Validation Approach Based on Supervised Machine Learning Algorithms and Automatic Schema Matching Approach
Shared Storage in J2ME: A Multi-agent System Approach
On the Potential of Process Simulation in Software Project Schedule Optimization
A Framework for Web-based Research Support Systems
Domain Analysis and Modeling for Concurrent Engineering in Plant Monitoring and Operations
Personalized and Generic E-assessment Process Based on Cloud Computing
JAVS: A Jovial Automated Verification System
A Comparison Study on Dynamic Duty Cycle and Dynamic Channel Polling Approaches for Wireless Sensor Networks
Failure modes and failure mitigation in GPGPUs: a reference model and its application
Moving Vehicle Candidate Recognition and Classification Using Inception-ResNet-v2
Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL
Reconstructing Compound Affective States using Physiological Sensor Data
Achievements Visualization in Programming Education
Technology-Enhanced Self-Regulated Learning: Assessment Support Through an Evaluation Centre
Visualization Issues for Software Requirements Negotiation
A Proof of Copyright Ownership Using Moment-Preserving
FormPlus: a form authoring toolkit
Selective reloading of very large databases
Dealing with Denial-of-Service Attacks in Agent-enabled Active and Programmable Infrastructures
Big Data in Memory: Benchmarking in Memory Database Using the Distributed Key-Value Store for Constructing a Large Scale Information Infrastructure
Tools cooperation in an integration environment by message-passing mechanism
A QoS and Security Adaptation Model for Autonomic Pervasive Systems
Color-Path: Hair Arrangement Reproduction Support System by Displaying Target Motion in AR
QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
Performance Awareness in Component Systems: Vision Paper
PLP: an automated tool for the processing of requirements
High Myopia Detection Method On Fundus Images Based On Curriculum Learning
JavaScript: The Used Parts
Implementing Program Model with Agile Principles in a Large Software Development Organization
Adaptability Evaluation of Software Architectures; A Case Study
Privacy Assurance in Data-Aggregation for Multiple MAX Transactions
A Study on the Agent-Simulation of Waiting Behaviours Inside a Transfer Station Space
An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems
Enhancing the Learning of Computing/IT Students with Open Educational Resources
Software engineering in a real-time control application
Customized Malware: Identifying Target Systems Using Personally Identifiable Information
On Identifying Bug Patterns in Aspect-Oriented Programs
Developing a Standard for Software Quality Assurance Plans
Self-Organizing Software Processes Based on Particle Dynamics Model
Towards Efficient Network Resource Management in SDN-Based Heterogeneous Vehicular Networks
ProtoTalk: A Generative Software Engineering Framework for Prototyping Protocols in Smalltalk
Future Trends: Computing as a Core Discipline
Empirical Software Simulation for COTS Glue Code Development and Integration
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
A conversion and management system for parcel maps
Formal and informal approaches for validation
Developing an Integrated Testing Environment Using the World Wide Web Technology
Memory-virtualizing and -devirtualizing VM Migration with Private Virtual Memory
FILCIO: Application Agnostic I/O Aggregation to Scale Scientific Workflows
Detecting Video Surveillance Systems in Real-Time Through Wireless Traffic Analysis
An Empirical Analysis on Effective Fault Prediction Model Developed Using Ensemble Methods
QTime: A Queuing-Time Notification System Based on Participatory Sensing Data
MerGen: A Smart Code Merging Approach for Automatically Generated Code
Using Code Evolution Information to Improve the Quality of Labels in Code Smell Datasets
Combining Word and Character N-Grams for Detecting Deceptive Opinions
Object-Oriented Framework for Metrics Guided Risk Management
Applying a Gamification Approach to Knowledge Management in Higher Education Institutions
Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network
A Model Transformation Approach Based on Homomorphic Mappings between UML Activity Diagrams and BPEL4WS Specifications of Grid Service Workflows
Analysis of Privacy Compliance by Classifying Multiple Policies on the Web
Online Upgrades Become Standard
Verification of Access Control Policies for REA Business Processes
A Decision Support System for Software Reliability Engineering Strategy Selection
A New Approach to Verify Rule-Based Systems Using Petri Nets
CCDetector: Detect Chaincode Vulnerabilities Based on Knowledge Graph
Chinese Medical Event Extraction Based on Hybrid Neural Network
Model Checking for SpaceWire Link Interface Design Using Uppaal
A Control-Theoretic Aid to Managing the Construction Phase in Incremental Software Development (Extended Abstract)
Towards Transaction-Based Reliable Service Compositions
Learning How to Improve Effort Estimation in Small Software Development Companies
Detection of Buffer Overflow Vulnerabilities in C/C++ with Pattern Based Limited Symbolic Evaluation
The ripple filter: an algorithm for region growing in scene agalysis
An Eye Tracking Research on Debugging Strategies towards Different Types of Bugs
Understanding the Association of Update Characteristics, Trust, and Cognitive Dissonance with Intention to Update: A Study in the Context of Microsoft Windows
Facilitating Secure Ad hoc Service Discovery in Public Environments
Finding All Breadth First Full Spanning Trees in a Directed Graph
Distributed concurrent development of software systems: an object-oriented process model
Postprocessing of Rule Sets Induced from a Melanoma Data Set
An Online Monitoring Approach for Web services
A Logic Database System with Extended Functionality
A Decentralized Authorization and Security Framework for Distributed Research Workflows
New Challenge of Protecting Privacy due to Stained Recognition
Provenance Research Issues and Challenges in the Big Data Era
Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems
A New Approach for the Verification of BPMN Models Using Refinement Patterns
Scenario-Based Automatic Prototype Generation
Development of Semantic Model and Information Exploration System for TV Media
Solving the Distributed Trigger Counting Problem without Any Global Assumption
ORL: an object retrieval language interface to an object algebra
Use of Augmented and 3D Visualization as a Tool to Support the Teaching of Spatial Geometry
Middleware Support for Mobile Social Ecosystems
Educational Activity Finder for Children with Pervasive Developmental Disorder through a Semantic Search System
Mining Timing Constraints from Event Logs for Process Model
A Requirement-based Regression Test Selection Technique in Behavior-Driven Development
Robotic Grasp Detection for Parallel Grippers: A Review
A Perspective on Middleware-Oriented Context-Aware Pervasive Systems
Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution
Major technical issues in medical informatics computer technology systems and applications
Integrating Static Code Analysis Toolchains
An Evaluation of Time-Sliced GPU Sharing with KubeRay for Machine Learning Workloads
Statistically-based program size estimation
Model Driven Development by Separating Concerns in UML Requirements Specification
Implementation Reuse and Inheritance in Distributed Component Systems
SOLinker: Constructing Semantic Links between Tags and URLs on StackOverflow
Narrative-Aware Cycling Route Design Using Generative AI
Parallel Evolutionary P2P Networking Technique Evaluating Network Topologies Sequentially
Web Items Recommendation Based on Multi-View Clustering
Structuring 2-way Branches in Binary Executables
Checking Program Proofs Made Eas
A Distributed Flow Control with Backward Propagation
Detecting Artifact Anomalies in Temporal Structured Workflow as Reusable Assets
VOEditor: a Visual Environment for Ontology Construction and Collaborative Querying of Semantic Web Resources
Interactive Incontestable Signature for Transactions Confirmation in Bitcoin Blockchain
Lightweight Deep Learning with Virtual Reality Visualization for Offline Tumor Segmentation in Rural Environments
A Representation Method of Time-Varying Characteristics of Entity on the Basis of Core-Surface Concept
A Persistent Programming Environment for Teaching Object-Oriented Concepts
Metamorphic Testing of Fake News Detection Software
Debugging Support for Machine Learning Applications in Bioengineering Text Corpora
A Framework for Multi-layered Requirements Documentation and Analysis
Wireless Security for Personalized and Mobile Healthcare Services
Fault analysis based on fault reporting in JSP software development
A Dynamic Upgrade Mechanism Based on Publish/Subscribe Interaction
Formal specification of software systems using two-level grammar
Kutulu: A Domain-Specific Language for Feature-Driven Product Derivation
A Reliable OS Kernel for Smart Sensors
Embedded Architecture Description Language
A Methodology for Hiding Knowledge in XML Document Collections
A Generic Software Architecture for PoE Power Sourcing Equipment
Normalized Adaptive Random Test for Integration Tests
Hardware-software co-designing benchmark-driven superpipelined instruction set processors
Optimization of Parallel Applications Under CPU Overcommitment
Understanding and Mitigating Vulnerabilities of Random Walks against Adversarial Attacks
On Analyzing the Errors in a Selectivity Estimation Method Using a Multidimensional File Structure
Interoperability in a heterogeneous environment for engineering design
Multimedia on the Internet: Emerging Technolgoy
IoT-Health Platform to Monitor and Improve Quality of Life in Smart Environments
Robustness of Random Walk on a Graph against Adversary Attacks
An Approach for Iteratively Generating Adequate Tests in Metamorphic Testing: A Case Study
SECAD 2008 Workshop Organization
Online Gaming Platform for Tibetan Jiu Chess: AI-vs-AI and Human-vs-Human
Melody Classification Using EM Algorithm
Towards Optimization of the Coverage Testing of Interactive Systems
Multilevel modeling for the analysis and prediction of school dropout: a systematic review
Combinations of Personal Characteristic Types and Learning Effectiveness of Teams
Leveraging Machine Learning to Identify Effective Teaching Strategies for Children With Autism Spectrum Disorder
Functional language for enacting software processes
Identifying the Challenges of the Blockchain Community from StackExchange Topics and Trends
LINE Metaverse for elderly people
SALAD: Self-Adaptive Lightweight Anomaly Detection for Real-time Recurrent Time Series
Entropy-Based Measures of Heterogeneity of Software Structural Profile
Prolonging Software Life
DRDB: a distributed real-time database server for high-assurance time-critical applications
Certificate-Based, Disruption-Tolerant Authentication System with Automatic CA Certificate Distribution for Eduroam
SREM: A Service Requirements Elicitation Mechanism based on Ontology
Extensions on performance evaluation techniques for concurrent systems
A System for Selective Disclosure of Information about a Patient with Intractable Disease
Mutual Secrecy of Attributes and Authorization Policies in Identity Federation
Automatic Learning Path Recommendation for Open Source Projects Using Deep Learning on Knowledge Graphs
Hands-On Labs for Learning Mobile and NoSQL Database Security
SAMM: A modeling tool for requirements and design specification
Improvement of authenticated encryption scheme with (t, n) shared verification
Applying Knowledge Elicitation to Improve Web Effort Estimation: A Case Study
A Mobile Database Design Methodology for Mobile Software Solutions
Message from the CELT 2018 Symposium Co-Chairs