yusuke1997/dblp-id-title huggingface dataset:
The BCD View Model: Business Analysis View, Service Composition View and Service Design View for Service Oriented Software Design and Development
Formal Timing Verification Techniques for Distributed System
Protecting Competitive Negotiation of Mobile Agents
Development of a Decentralized Virtual Service Redirector for Internet Applications
IPSec-Based Delegation Protocol and Its Application
Using UML for Service Creation
Applying Computational Intelligence for Congestion Avoidance of High-Speed Networks
PKUAS: An Architecture-Based Reflective Component Operating Platform
Distributed Shared State
A Distributed Application-Oriented Development Framework Based on Resource Management
Traffic Dispersion Strategies for Multimedia Streaming
Intelligent Handling of Communication Media
A Delegation Framework for Access Control in WfMS Based on Tasks and Roles
Available fail-safe systems
Compact, low-cost, but real-time distributed computing for computer augmented environments
Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems
9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 28-30 May 2003, San Juan, Puerto Rico, Proceedings
Coordinating Open Distributed Systems
Group Communication in Real-Time Computing Systems: Issues and Directions
An Information Model for Security Integration
Architectural Issues in Adopting Distributed Shared Memory for Distributed Object Management Systems
Distributed Fault Management over ATM Networks
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems
Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments
Dynamic Component Composition for Functionality Adaptation in Pervasive Environments
An Extended MM-Path Approach to Component-Based Web Application Testing
Cryptographic Key Recovery
Executable specifications for distributed software systems
Internet - Intranet - Infranet: A Modular Integrating Architecture
Meta-Adaptation in Autonomic Systems
Trend of Autonomous Decentralized Systems
Towards Supporting Fine-Grained Access Control for Grid Resources
Scalable linear algebra software libraries for distributed memory concurrent computers
The Power of DHT as a Logical Space
Event-Based Data Dissemination on Inter-Administrative Domains: Is it Viable?
DPCP (Discard Past Consider Present) -- A Novel Approach to Adaptive Fault Detection in Distributed Systems
PODC: Paradigm-Oriented Distributed Computing
pFilter: Global Information Filtering and Dissemination Using Structured Overlay Networks
Adaptable Mobile Systems
How to Commit Concurrent, Non-Isolated Computations
Design and Simulation of Trust Management Techniques for a Coalition Data Sharing Environment
Internet Security Despite Untrustworthy Agents and Components
A Simulation Model of Task Cluster Scheduling in Distributed Systems
Analysing the behaviour of distributed software architectures: a case study
A Distributed System, Adaptive to Trust Assessment, Based on Peer-to-Peer E-Records Replication and Storage
Distributed applications construction environment
Approach to Supporting Continuity of Usage in Location-Based Access Control
The Universality of a Class of (2 log2N-1)-stage Interconnection Network
A Combined Component-Based Approach for the Design of Distributed Software Systems
Location Transparent Routing in Mobile Agent Systems - Merging name Lookups with Routing
Reaching Semantic Interoperability through Semantic Association of Domain Standards
Towards Middleware Services for Mobile Ad-Hoc Network Applications
Temporal firewalls in large distributed real-time systems
The Distributed and Interactive Courseware Environment (DICE)
Realizing a Soft Real-Time Framework for Supporting Distributed Multimedia Applications
Well-Balanced Allocation Strategy for Multi-Cluster Computing Environments
Mapping Web Services Specifications to Process Ontology: Opportunities and Limitations
ERAP: ECC Based RFID Authentication Protocol
Exploiting a Cloud Framework for Automatically and Effectively Providing Data Analyzers
A Lightweight Approach to Detect the Low/High Rate IP Spoofed Cloud DDoS Attacks
Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components
Hera Object Storage: A Seamless, Automated Multi-Tiering Solution on Top of OpenStack Swift
Anticipatory User Plane Management for 5G
Quality Profile-Based Cloud Service Selection for Fulfilling Big Data Processing Requirements
Enabling RETE Algorithm for RDFS Reasoning on Apache Spark
Building Microclouds at the Network Edge with the Cloudy Platform
Multilayered Cloud Applications Autoscaling Performance Estimation
Design of the Cost Effective Execution Worker Scheduling Algorithm for FaaS Platform Using Two-Step Allocation and Dynamic Scaling
An Experiment on the Load Shifting from Service Registry to Service Providers in SOA
A Recommendation-Based Parameter Tuning Approach for Hadoop
A Model-Based Scalability Optimization Methodology for Cloud Applications
Platform-as-a-Service for Human-Based Applications: Ontology-Driven Approach
Optimal Placement of Network Security Monitoring Functions in NFV-Enabled Data Centers
A New Approach for Prediction of Lung Carcinoma Using Back Propagation Neural Network with Decision Tree Classifiers
SPaaS-NFV: Enabling Stream-Processing-as-a-Service for NFV
EMAPM: Enterprise Modernization Autonomic Predictive Model in Hybrid Cloud Environments
Contextual Oblivious Similarity Searching for Encrypted Data on Cloud Storage Services
Enforcing Security and Privacy via a Cooperation of Security Experts and Software Engineers: A Model-Based Vision
Design and Implementation of Scalable and Load-Balanced Virtual Machine Clusters
Dynamic Scheduling for Seamless Computing
Improving OpenStack Swift interaction with the I/O Stack to Enable Software Defined Storage
Dynamic Flow Control for Big Data Transmissions toward 5G Multi-hop Relaying Mobile Networks
Near Real-Time Tracking at Scale
A Mobile Cloud-Based Biofeedback Platform for Evaluating Medication Response
Cloud Native 5G Virtual Network Functions: Design Principles and Use Cases
Improving the Performance of Stock Trend Prediction by Applying GA to Feature Selection
Analysis of Influential Factors in Secondary PM2.5 by K-Medoids and Correlation Coefficient
Multi-user Searchable Encryption Scheme with Constant-Size Keys
Social Media Data Analysis Using MapReduce Programming Model and Training a Tweet Classifier Using Apache Mahout
A Security Proxy to Cloud Storage Backends Based on an Efficient Wildcard Searchable Encryption
SPDK Vhost-NVMe: Accelerating I/Os in Virtual Machines on NVMe SSDs via User Space Vhost Target
Using ANN to Analyze the Correlation Between Tourism-Related Hot Words and Tourist Numbers: A Case Study in Japan
8th IEEE International Symposium on Cloud and Service Computing, SC2 2018, Paris, France, November 18-21, 2018
Cyber Security Body of Knowledge
A New Docker Swarm Scheduling Strategy
Reducing Imbalance Ratio in MapReduce
Using Data Mining Methods to Detect Simulated Intrusions on a Modbus Network
Mobile Edge Computing-Based Vehicular Cloud of Cooperative Adaptive Driving for Platooning Autonomous Self Driving
A Prototype for Analyzing the Internet Routing System Based on Spark and Docker
A Fault-Tolerant ONVIF Standard Extension for Cloud-Based Surveillance Systems
Service Recommendation with Context-Aware User Reputation Evaluation
Application-Aware Traffic Redirection: A Mobile Edge Computing Implementation Toward Future 5G Networks
A Novel Automated Tiered Storage Architecture for Achieving Both Cost Saving and QoE
A Dynamic Module Deployment Framework for M2M Platforms
A Distributed Cloud Service for the Resolution of SAT
Sliding Window Based Discounted Transaction Mining
Offset-FA: Detach the Closures and Countings for Efficient Regular Expression Matching
A Hidden Markov Model-Based Map-Matching Approach for Low-Sampling-Rate GPS Trajectories
ExpanStor: Multiple Cloud Storage with Dynamic Data Distribution
A Fault Tolerance Mechanism for Semiconductor Equipment Monitoring
QoS-Aware Service Composition Using HTN Planner
2017 IEEE 7th International Symposium on Cloud and Service Computing, SC² 2017, Kanazawa, Japan, November 22-25, 2017
An Energy-Efficient SDN-Based Data Collection Strategy for Wireless Sensor Networks
Accelerating the Computation of Multi-Objectives Scheduling Solutions for Cloud Computing
Reinforcement Learning Based Routing Protocol for Wireless Body Sensor Networks
Accelerating Lattice Quantum Chromodynamics Simulations with Value Prediction
D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures
A Reliability-Based Resource Allocation Approach for Cloud Computing
Enhanced Cost Analysis of Multiple Virtual Machines Live Migration in VMware Environments
Pattern-Based Cloud Service Recommendation and Integration for Hybrid Cloud
Get Your Head Out of the Clouds: The Illusion of Confidentiality & Privacy
Integrating Service QFD and TRIZ for a Lucky Draw System Design: The Case Study
Enhancing Classification Effectiveness of Chinese News Based on Term Frequency
Unikernels vs Containers: An In-Depth Benchmarking Study in the Context of Microservice Applications
A Balanced Partitioning Mechanism Using Collapsed-Condensed Trie in MapReduce
A Votable Concept Mapping Approach to Promoting Students' Attentional Behavior: Based on the Evidence of Mining Sequential Behavioral Patterns
UCS - A Unified Cloud Storage Integration Service
Parallelization, Modeling, and Performance Prediction in the Multi-/Many Core Area: A Systematic Literature Review
Geometrical Structures and Modal Logic
A Comparative Survey of Default Logic Variants
Human Reasoning with Negative Defaults
Ideal and Real Belief about Belief
Reasoning About Reasoning
A System for Defeasible Argumentation, with Defeasible Priorities
Modal Logic for Modelling Actions and Agents
Argumentation and Decision Making: A Position Paper
The Implementation of CondLP
On the Semantics of the Unknown
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations
The Need for a Dialectical Tier in Arguments
Reasoning about Rational, but not Logically Omniscient Agents (Extended Abstract)
A Tableau Calculus for First-Order Branching Time Logic
Formalization of Reasoning about Default Action (Preliminary Report)
Specification of Nonmonotonic Reasonong
Graded Inheritance Nets for Knowledge Representation
Modal Logics with Relative Accessibility Relations
The Analysis and Evaluation of Legal Argumentation from a Pragma-Dialectical Perspective
Two Kinds of Non-Monotonic Analogical Inference
Mechanizing Multi-Agent Reasoning with Belief Contexts
How To Reason About Akratic Action Practically?
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings
Analogical Reasoning of Organic Reactions Based on the Structurized Compound-Reaction Diagram
Possible World Semantics for Analogous Reasoning
Aristotle, Whately, and the Taxonomy of Fallacies
Intelligent Agents in the Situation Calculus: an Application to User Modelling
Practical Reasoning with Procedural Knowledge
Deep Disagreement and Public Demoralization
Commands in Dialogue Logic
Talkin'bout Consistency, or: When Logically Possible Becomes Possible
Skeptical Query-Answering in Constrained Default Logic
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief
Default Reasoning and Belief Revision in the CIN Project
A Formal Framework for Clausal Modeling and Argumentation
An Architecture fro Argumentative Dialogue Planning
General Domain Circumscription in its First-Order Reduction
Type Theoretic Semantics for SemNet
Complex Argumentation in Judicial Decisions. Analysing Conflicting Arguments
SEdit - Graphically Validating Technical Systems
Integrating Statistical Audit Evidence with Belief Function Theory
System J - Revision Entailment. Default Reasoning through Ranking Measure Updates
Mind, Morals, and Reasons
An Abductive Proof Procedure for Conditional Logic Programming
Labelling Ideality and Subideality
Towards the Assessment of Logics for Concurrent Actions
The Normative Reconstruction of Analogy Argumentation in Judical Decisions: a Pragma-Dialectical Perspective
A Methodology for Iterated Theory Change
Combining Partitions and Modal Logic for User Modeling
The Implementation of LENA
From Syllogisms to Audiences: The Prospect for Logic in a Rhetorical Model of Argumentation
Defining Normative Systems for Qualitative Argumentation
Goals in Argumentation
Reason in a Changing World
Nonmonotonic Reasoning with Multiple Belief Sets
Arguments and Mental Models: A Position Paper
Formal Reasoning about Modules, Reuse and their Correctness
Using Temporary Integrity Constraints to Optimize Databases
A Unified Framework for Hypothetical and Practical Reasoning (2): Lessons from Medical Applications
A Software Security Case Developing Method Based on Hierarchical Argument Strategy
SecVerifier: A Practical Memory-Security Verifier
Optimizing Gas Consumption in Ethereum Smart Contracts: Best Practices and Techniques
Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring
A Systematic Approach for Privilege Escalation Prevention
An Event-Based Formal Framework for Dynamic Software Update
Automatic Bug Triage Using Hierarchical Attention Networks
Heterogeneous Defect Prediction through Correlation-Based Selection of Multiple Source Projects and Ensemble Learning
Flexible and dependable manufacturing beyond xURLLC: A novel framework for communication-control co-design
Comparing and Goaling Releases Using Software Reliability Classes
An Effective Crowdsourced Test Report Clustering Model Based on Sentence Embedding
Optimizing Media Streaming in Edge-Cloud Systems: Leveraging Geography and User Behavior
Identifying Indicators of Fake Reviews Based on Spammer's Behavior Features
Towards Simplification of Failure Scenarios for Machine Learning-Enabled Autonomous Systems
Privacy Policy Compliance Inspection of Financial Apps
The Influence of Handwriting and Word-Processing on Creativity in the Fiction Production: A Case Study of Fay Weldon's Fictions
Subgraph reliability of the cactus-based networks
A Protocol-based Intrusion Detection System using Dual Autoencoders
Threshold-Based Analysis of the Code Quality of High-Performance Computing Software Packages
A New Framework and Application of Software Reliability Estimation Based on Fault Detection and Correction Processes
A Specification-Based Approach to the Testing of Java Memory Bloat
On the Link Between Refactoring Activity and Class Cohesion Through the Prism of Two Cohesion-Based Metrics
Target Signal Synchronization Transmission in Coupling Network with Uncertain Parameters
Enhancing Software Security Analysis: Targeted Test Case Generation through Constraint Solving in Interactive Application Security Testing
Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis
Improving the Accuracy of Vulnerability Report Classification Using Term Frequency-Inverse Gravity Moment
Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable
CIL-BSP: Bug Report Severity Prediction based on Class Imbalanced Learning
Natural Language Coding (NLC) for Autonomous Stock Trading: A New Dimension in No-Code/Low-Code (NCLC) AI
Experimental Comparison of Software Reliability Models Based on Code Coverage and on Time Domain
The IoT Service Agent Model based on Federated Learning to Improve Service Quality
Recommendations Based on LDA Topic Model in Android Applications
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics
How to Choose a Suitable Method in Image Semantic Segmentation-An Experimental Study
Resilience Analysis under the Impact of Cell Failures in the Practical Telecommunication base Station Networks
Evaluating the Availability of Service Function Chain under Different Elasticity Strategies Based on Colored Petri Net
Topology Design of Electronic and Electrical Architecture for Time-Sensitive Network
An Adaptive Control Strategy for Resource Allocation of Service-Based Systems in Cloud Environment
Zenoh-based Dataflow Framework for Autonomous Vehicles
Quality Driven Judicial Data Governance
A Vision of DevOps Requirements Change Management Standardization
Identity Authentication Strategy of Mobile Crowd Sensing based on CFL
A Test Case Design Method Based on Path Depth Coverage
A Fault Analysis and Reasoning Method for Vehicle Information Systems Based on Knowledge Graphs
A Flexible Cyber Security Experimentation Platform Architecture Based on Docker
SemirFL: Boosting Fault Localization via Combining Semantic Information and Information Retrieval
Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification
Investigating Execution Trace Embedding for Test Case Prioritization
Formal Verification of CAN Bus in Cyber Physical System
Scope-based Compiler Differential Testing
An Improved Adaptive Angle Weakly Supervised Learning Object Detection
A Cross-Project Aging-Related Bug Prediction Approach Based on Joint Probability Domain Adaptation and k-means SMOTE
Web Service Reliability Test Method Based on Log Analysis
Input Transformation for Pre-Trained-Model-Based Cross-Language Code Search
Deep Reinforcement Learning for Video Summarization with Semantic Reward
VrFy: Verification of Formal Requirements using Generic Traces
Fault Density, Fault Depth and Fault Multiplicity: The Reward of Discernment
Recursive Generation of Multi-Qubits Control Gate to Facilitate the Grover's Quantum Algorithm in Large Scale Database Search
Case Study of Requirements-Based Test Case Generation on an Automotive Domain
A Learning Path Recommendation Method for Knowledge Graph of Professional Courses
Comprehensive Functional ETL Testing Methodologies for Real-World Data
Blockchain Network Platform for IoT Data Integrity and Scalability
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications
Practical Online Debugging of Spark-like Applications
A Distributed Intrusion Detection System for Cognitive Radio Networks Based on Evidence Theory
Mapping breakpoint types: an exploratory study
A Model Language for Describing Spatio-temporal Changes
Bayesian Estimation of Residual Life for Weibull Distributed Products Based on the Fusion of Different Forms of Expert Information
Defect Prediction via LSTM Based on Sequence and Tree Structure
Design of an Automated Test Tool Based on Interface Protocol
Best Seller Rank (BSR) to Sales: An empirical look at Amazon.com
Test Case Generation for Access Control Based on UML Activity Diagram
Building Secure Software for Smart Aging Care Systems: An Agile Approach
A Novel API Recommendation Approach By Using Graph Attention Network
A Fusion of Java Domain Knowledge Base and Siamese Network for Java API Recommendation
Granger Causality Analysis Between Sensor Data Based on Deep Gaussian Process Model
Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking
Automatically Capturing and Reproducing Android Application Crashes
Quantifying the Impact of Replication on the Quality-of-Service in Cloud Databases
Blockchain Based Model for Consent Management and Data Transparency Assurance
An Effective Approach to Continuous User Authentication for Touch Screen Smart Devices
An Approach to Test Classification in Big Android Applications
Reliability Modeling and Optimization for Large-Scale Network Systems
A Test Cases Generation Technique Based on an Adversarial Samples Generation Algorithm for Image Classification Deep Neural Networks
Software Bug Prediction based on Complex Network Considering Control Flow
FCA: A Causal Inference Based Method for Analyzing the Failure Causes of Object Detection Algorithms
A FPGA Based SAT Solver with High Random and Concurrent Strategies
Research on Safety Modeling and Analysis to the Task Process of Airborne Weather System
Emotional Dashboard: a Non-Intrusive Approach to Monitor Software Developers' Emotions and Personality Traits
Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets
Combinatorial Testing for Tree-Structured Test Models with Constraints
Quality Assurance of Micro-Services - When to trust your micro-service test results?
Smart Contract Test Case Prioritization based on Frequency and Gas Consumption
Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study
Software fault localization based on eigenvector centrality in complex network theory
A Novel Framework for High-category Coverage Clothing Recommendation System Based on Sentiment Analysis
On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets
Black-Box Testing of Financial Virtual Assistants
A Fuzzing Method for Embedded Bus Based on Dynamic Mutation of Message Sequences
On Understanding Contextual Changes of Failures
RandomMix: An Effective Framework to Protect User Privacy Information on Ethereum
Enhancing Code Completion with Implicit Feedback
A Novel Reliability Assessment Method Based on the Effects of Components
The Significant Effect of Parameter Tuning on Software Vulnerability Prediction Models
Research on Program Change Impact Analysis Methods Based on Software Networks
Code Generation Method based on Structured Tree Input and AST Decoder Attention Augmentation
Exploring the Efficacy of Dynamic Approaches in Database Encryption and Translational Security
Hyperledger Fabric-Based Copyright Management System for Clothing design drawings
Hierarchical Combination Design Method of Test Cases Based on Conditional Constraints
Improving Wireless Network Security Based On Radio Fingerprinting
cPV - Simulation and Verification for Membrane Computing
Towards Automating Integration Testing of .NET Applications Using Roslyn
The Effect of Gang-of-Four Design Patterns Usage on Design Quality Attributes
Mutation Integration Testing
Efficient Evolutionary Fuzzing for Android Application Installation Process
A New Software Reliability Model for Open Stochastic System Based on NHPP
A Testing Method for Object-oriented Program based on Adaptive Random Testing with Variable Probability
Fine-Tuning Pre-Trained Model to Extract Undesired Behaviors from App Reviews
Formal Verification Technology for Asynchronous Communication Protocol
Provenance Information-Based Trust Evaluation Using Cooperation Pattern for Self-Adaptive Systems
Survey of State-of-Art Autonomous Driving Technologies with Deep Learning
Joint Vehicle Scheduling and Power Allocation for V2X Communications
Let's Supercharge the Workflows: An Empirical Study of GitHub Actions
Integration- and System-Testing Aligned with Cloud-Native Approaches for DevOps
Automated Machine Learning for Enhanced Software Reliability Growth Modeling: A Comparative Analysis with Traditional SRGMs
An Approach for Detecting Critical Adaptations in Automated Adaptive Software Systems
Firewalls for the Web 2.0
A Multiple Blockchains Architecture on Inter-Blockchain Communication
A Software Defect Management System Based on Knowledge Base
Base station network alarm streams modeling and prediction based on Cox proportional hazard model and copula
Detection of Fault-Prone Classes Using Logistic Regression Based Object-Oriented Metrics Thresholds
Automated Identification of Performance Changes at Code Level
Driver's Perception Model in Driving Assist
How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study
Elevator Maintenance Site Selection Optimization via Fine-Tuned K-Means
Reliable Automatic Organ Segmentation from CT Images using Deep CNN
API Misuse Detection Method Based on Transformer
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches
A Research Agenda for Constructing an Environment to Help Develop a Creative Software
FedCST: Federated Learning on Heterogeneous Resource-constrained Devices Using Clustering and Split Training
Predicting Release Reliability
Critical Quality Factors for Rapid, Scalable, Agile Development
Multi-perspective Regression Test Prioritization for Time-Constrained Environments