yusuke1997/dblp-id-title huggingface dataset:
Two-Stage Clustering Hot Event Detection Model for Micro-blog on Spark
Roundtable Gossip Algorithm: A Novel Sparse Trust Mining Method for Large-Scale Recommendation Systems
Parallel Column Subset Selection of Kernel Matrix for Scaling up Support Vector Machines
MN-ALG: A Data Delivery Algorithm for Large Scale Wireless Electronic Shelf Label System
D-SPACE4Cloud: A Design Tool for Big Data Applications
Accelerating DCNNs via Cooperative Weight/Activation Compression
Fast and Accurate Similarity Searching of Biopolymer Sequences with GPU and CUDA
Performance Evaluation of HPGMG on Tianhe-2: Early Experience
Adaptive QoS and Security for Video Transmission over Wireless Networks: A Cognitive-Based Approach
Null Model and Community Structure in Heterogeneous Networks
An Enhanced Intrusion Detection Method Combined with Contrastive Federated Learning
Reversible Data Hiding Using Non-local Means Prediction
Short Video Account Influence Evaluation Model Based on Improved SF-UIR Algorithm
The Research of Recommendation System Based on User-Trust Mechanism and Matrix Decomposition
Mobile Phone Data Reveal the Spatiotemporal Regularity of Human Mobility
ABE-AC4DDS: An Access Control Scheme Based on Attribute-Based Encryption for Data Distribution Service
A Paralleled Large-Scale Astronomical Cross-Matching Function
Ensuring Confidentiality and Integrity of Multimedia Data on Multi-core Platforms
Memory Performance and SPEC OpenMP Scalability on Quad-Socket x86_64 Systems
A Fast, Reliable, Adaptive Multi-hop Broadcast Scheme for Vehicular Ad Hoc Networks
CBA Sketch: A Sketching Algorithm Mining Persistent Batches in Data Streams
A Distributed Joint Cooperative Routing and Channel Assignment in Multi-radio Wireless Mesh Network
Tiger Tally: Cross-Domain Scheme for Different Authentication Mechanism
A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency
Parallel Query Processing in Databases on Multicore Architectures
Reducing the Interconnection Length for 3D Fault-Tolerant Processor Arrays
FDRShare: A Fully Decentralized and Redactable EHRs Sharing Scheme with Constant-Size Ciphertexts
A Simple and Efficient Fault-Tolerant Adaptive Routing Algorithm for Meshes
A Distributed Storage Model for Sensor Networks
Cluster-Based Time Synchronization Protocol for Wireless Sensor Networks
Verifiable Outsourced Computation with Full Delegation
A Patient Centric Approach for Modeling Access Control in EHR Systems
Improved WOW Adaptive Image Steganography Method
An Implementation of Parallel Eigenvalue Computation Using Dual-Level Hybrid Parallelism
KD-Tree and HEALPix-Based Distributed Cone Search Indexing System for Multi-Band Astronomical Catalogs
Execution Environments and Benchmarks for the Study of Applications' Scheduling on Clusters
AHOA: Adaptively Hybrid Optimization Algorithm for Flexible Job-shop Scheduling Problem
H2P: A Novel Model to Study the Propagation of Modern Hybrid Worm in Hierarchical Networks
Enhancing Text-Image Person Re-identification via Intra-Class Relevance Learning
Power Improvement Using Block-Based Loop Buffer with Innermost Loop Control
A Novel Clustering-Based Filter Pruning Method for Efficient Deep Neural Networks
Circulant Euler-Jacket Transform and Its Applications Based on Fast Algorithm
Embedding Augmented Cubes into Grid Networks for Minimum Wirelength
Efficient and Secure Outsourced Linear Regression
Adaptive Task Size Control on High Level Programming for GPU/CPU Work Sharing
Analyzing Software Component Graphs of Grid Middleware: Hint to Performance Improvement
Algorithms and Architectures for Parallel Processing - ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings
On the Effect of Using Third-Party Clouds for Maximizing Profit
Towards Automatic Generation of Hardware Classifiers
QoS Prediction in Dynamic Web Services with Asymmetric Correlation
Network Traffic Analysis Using Android on a Hybrid Computing Architecture
Distributed Mechanism for Protecting Resources in a Newly Emerged Digital Ecosystem Technology
HSPP: Load-Balanced and Low-Latency File Partition and Placement Strategy on Distributed Heterogeneous Storage with Erasure Coding
Efficient and Privacy-Preserving Query on Outsourced Spherical Data
Distributed Incentive Algorithm for Fine-Grained Offloading in Vehicular Ad Hoc Networks
NEPG: Partitioning Large-Scale Power-Law Graphs
Identification of Natural Images and Computer Generated Graphics Using Multi-fractal Differences of PRNU
Accelerating Processing of Scale-Free Graphs on Massively-Parallel Architectures
TSformer: A Transformer-Based Model Focusing Specifically on the Fusion of Temporal-Spatial Features for Traffic Forecasting
ADFA-LSTM: An Abnormal Trajectory Prediction Method Based on Bionic Neural Network
Efficient Algorithms of Parallel Skyline Join over Data Streams
Adaptive Traffic Signal Control with Network-Wide Coordination
Lead Scoring Client's Web Service
Shedder: A Metadata Sharing Management Method across Multi-clusters
TP-BFT: A Faster Asynchronous BFT Consensus with Parallel Structure
Research Progress of Zero-Shot Learning Beyond Computer Vision
NESTLE: Incentive Mechanism Specialized for Computation Offloading in Local Edge Community
Load Balancing Optimizations for Distributed GMRES Algorithm
Recommendation with Temporal Dynamics Based on Sequence Similarity Search
Mining Suspicious Tax Evasion Groups in a Corporate Governance Network
CRchain: An Efficient Certificate Revocation Scheme Based on Blockchain
Enabling Android-Based Devices to High-End GPGPUs
PFA: Performance and Fairness-Aware LLC Partitioning Method
PSIS: Parallel Semantic Indexing System - Preliminary Experiments
BMTP: Combining Backward Matching with Tree-Based Pruning for Large-Scale Content-Based Pub/Sub Systems
Trajectory Data-Driven Pattern Recognition of Congestion Propagation in Road Networks
An Algorithm Evaluating System Stability to Process
Reliable Greedy Forwarding in Obstacle-Aware Wireless Sensor Networks
Deep Reinforcement Learning for Intelligent Migration of Fog Services in Smart Cities
An Energy-Aware File Relocation Strategy Based on File-Access Frequency and Correlations
A Privacy-Preserving Access Control Scheme with Verifiable and Outsourcing Capabilities in Fog-Cloud Computing
Reality Mining with Mobile Data: Understanding the Impact of Network Structure on Propagation Dynamics
A Semantic Web Based Intelligent IoT Model
DETER: Streaming Graph Partitioning via Combined Degree and Cluster Information
A Java Code Protection Scheme via Dynamic Recovering Runtime Instructions
SAKMA: Specialized FPGA-Based Accelerator Architecture for Data-Intensive K-Means Algorithms
Binary Addition Chain on EREW PRAM
Dynamic Knowledge Graph Completion with Jointly Structural and Textual Dependency
MARL-DCF: A Dual-Channel Fusion Routing Algorithm Based on Multi-agent Reinforcement Learning
Multiple Secret Sharing Using Natural Language Letter Based Visual Cryptography Scheme
Sensitive Data Detection Using NN and KNN from Big Data
Adaptive Clustering for Outlier Identification in High-Dimensional Data
On-Chain Dynamic Policy Evaluation for Decentralized Access Control
Educational and Research Systems for Evaluating the Efficiency of Parallel Computations
A Hierarchical-Tree-Based Method for Generative Zero-Shot Learning
An Improved GPU Acceleration Framework for Smoothed Particle Hydrodynamics
AQUAdex: A Highly Efficient Indexing and Retrieving Method for Astronomical Big Data of Time Series Images
Performance Evaluation of NLP Models for European Portuguese: Multi-GPU/Multi-node Configurations and Optimization Techniques
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection
An Efficient Data Dissemination Scheme for Sensor Networks
Trusted Information and Security in Smart Mobility Scenarios: The Case of S2-Move Project
Design of Six-Rotor Drone Based on Target Detection for Intelligent Agriculture
C2CU : A CUDA C Program Generator for Bulk Execution of a Sequential Algorithm
An FPGA-Based Real-Time Moving Object Tracking Approach
TBAF: A Two-Stage Biometric-Assisted Authentication Framework in Edge-Integrated UAV Delivery System
An Improved Parallel MEMS Processing-Level Simulation Implementation Using Graphic Processing Unit
Low-Carbon Geographically Distributed Cloud-Edge Task Scheduling
Scalable Access Policy for Attribute Based Encryption in Cloud Storage
A Novel Scheme for High Performance Finite-Difference Time-Domain (FDTD) Computations Based on GPU
Reducing False Aborts in STM Systems
SparG: A Sparse GEMM Accelerator for Deep Learning Applications
A Novel Network Topology Sensing Method for Network Security Situation Awareness
A Novel Feature Selection Scheme for Energy Efficient Wireless Sensor Networks
Dynamic Offloading Control for Waste Sorting Based on Deep Q-Network
Accelerating the Dynamic Programming for the Optimal Polygon Triangulation on the GPU
FPIM: Fair and Privacy-Preserving Incentive Mechanism in Mobile Crowdsensing
A Robust and Efficient Detection Model of DDoS Attack for Cloud Services
Dynamic Dependent Tasks Assignment for Grid Computing
pCOVID: A Privacy-Preserving COVID-19 Inference Framework
Accelerating Sparse Convolutional Neural Networks Based on Dataflow Architecture
Maintaining Consistency in Software Transactional Memory through Dynamic Versioning Tuning
Addressing NoC Reliability Through an Efficient Fibonacci-Based Crosstalk Avoidance Codec Design
Fairness Analysis and Optimization of BBR Congestion Control Algorithm
Research of CMABC Algorithm in Intrusion Detection
PPLDEM: A Fast Anomaly Detection Algorithm with Privacy Preserving
Large-Scale Parallel Alignment Algorithm for SMRT Reads
Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II
An Approach to Model Complex Big Data Driven Cyber Physical Systems
SLA: A Cache Algorithm for SSD-SMR Storage System with Minimum RMWs
CP 3 : Hierarchical Cross-Platform Power/Performance Prediction Using a Transfer Learning Approach
Dynamic Resource Provision for Cloud Broker with Multiple Reserved Instance Terms
PRIAG: Proximal Reweighted Incremental Aggregated Gradient Algorithm for Distributed Optimizations
Improving Continuation-Powered Method-Level Speculation for JVM Applications
CRVad: Confidential Reasoning and Verification Towards Secure Routing in Ad Hoc Networks
A Dynamic Symmetric Searchable Encryption Scheme for Rapid Conjunctive Queries
A New Artificial Bee Colony Algorithm for Solving Large-Scale Optimization Problems
idsocket: API for Inter-domain Communications Base on Xen
Implementation of the Beamformer Algorithm for the NVIDIA Jetson
Multi-label Detection Method for Smart Contract Vulnerabilities Based on Expert Knowledge and Pre-training Technology
Multidimensional Intrinsic Identity Construction and Dynamic Seamless Authentication Schemes in IoT Environments
Porting the Princeton Ocean Model to GPUs
Algorithms and Architectures for Parallel Processing, 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
A Principled Approach to Grid Middleware - Status Report on the Minimum Intrusion Grid
STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code
A Data Augmentation-Based Defense Method Against Adversarial Attacks in Neural Networks
GPU Computing to Speed-Up the Resolution of Microrheology Models
On Exploring a Virtual Agent Negotiation Inspired Approach for Route Guidance in Urban Traffic Networks
Navigation Safety Assessment of Ship in Rough Seas Based on Bayesian Network
Using MPI on PC Cluster to Compute Eigenvalues of Hermitian Toeplitz Matrices
Enriching Document Representation with the Deviations of Word Co-occurrence Frequencies
A Power Monitoring Framework of a Post-quantum Cryptography Web Server
Internet Performance Prediction Framework Based on PingER Dataset
Embedding Algorithms for Star, Bubble-Sort, Rotator-Faber-Moore, and Pancake Graphs
SMCoEdge: Simultaneous Multi-server Offloading for Collaborative Mobile Edge Computing
Research of Benchmarking and Selection for TSDB
Smart Grid Power Trading Based on Consortium Blockchain in Internet of Things
Analytical Modeling for Multi-transaction Bus on Distributed Systems
A Web Service Composition Algorithm Based on Global QoS Optimizing with MOCACO
MDCF: Multiple Dynamic Cuckoo Filters for LSM-Tree
Predicting Hard Drive Failures for Cloud Storage Systems
A Novel APP Recommendation Method Based on SVD and Social Influence
Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public Blockchains
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns
Formal Aspects of Component Software - 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries
A Modal Specification Theory for Components with Data
Embeddings Between State and Action Based Probabilistic Logics
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions
Typed Connector Families
Programming Dynamic Reconfigurable Systems
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Xcd - Modular, Realizable Software Architectures
Compositionality for Quantitative Specifications
Modeling and Analysis of Component Connectors in Coq
On the Complexity of Input Output Conformance Testing
Solving Parity Games in Scala
Controlling an Iteration-Wise Coherence in Dataflow
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property
Performance Verification in Complex Enterprise-Level Component Systems
Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Open Compliance in Multiparty Sessions
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract)
Actors with Coroutine Support in Java
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation
Decomposition of Constraint Automata
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
Interpretation and Formalization of the Right-of-Way Rules
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
Software Component Design with the B Method - A Formalization in Isabelle/HOL
Component-Based Approach Combining UML and BIP for Rigorous System Design
Automated Generation of Initial Configurations for Testing Component Systems
The Implementation of Object Propositions: The Oprop Verification Tool
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Reasoning About Connectors in Coq
MAccS: A Tool for Reachability by Design
A Canonical Algebra of Open Transition Systems
Incremental Computation of Synthesis Rules for Free-Choice Petri Nets
Steps on the Road to Component Evolvability
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Component Interfaces with Contracts on Ports
A Separation Logic for OO Programs
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
Systems-Theoretic View of Component-Based Software Development
A Proof-Carrying Code Approach to Certificate Auction Mechanisms
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components
Composing Constraint Automata, State-by-State
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
Compositional Model Checking Is Lively
Quantitative Analysis of Software: Challenges and Recent Advances
Enabling Behaviour Tree Verification via a Translation to BIP
Assume-Guarantee Reasoning for Safe Component Behaviours
Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables
Modeling and Verifying Dynamic Architectures with FACTum Studio
A Logical Characterization of Differential Privacy via Behavioral Metrics
Constrained Synthesis from Component Libraries
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Guarded Terms for Rewriting Modulo SMT
Combining State- and Event-Based Semantics to Verify Highly Available Programs
Formal Patterns for Multi-rate Distributed Real-Time Systems
Verified Fault Handling for Modern Board Management Controllers
Component Service Promotion: Contracts, Mechanisms and Safety
Formal Model In-The-Loop for Secure Industrial Control Networks
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
Footprint Logic for Object-Oriented Components
Building Correct SDN Components from a Global Event-B Formal Model
Adaptive Formal Framework for WMN Routing Protocols
A Formally Verified Model of Web Components
Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time
Probabilistic Modal Specifications (Invited Extended Abstract)
Reowolf: Synchronous Multi-party Communication over the Internet
Widening the Schedulability of Hierarchical Scheduling Systems
A General Trace-Based Framework of Logical Causality
Modeling Guidelines for Component-Based Supervisory Control Synthesis
Monitoring Distributed Component-Based Systems
Timed Conformance Testing for Orchestrated Service Discovery
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Reduction and Abstraction Techniques for BIP
Using Temporal Logic for Dynamic Reconfigurations of Components
Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure
Intransitive Non-Interference by Unfolding
Multilabeled Petri Nets
Impact Models for Architecture-Based Self-adaptive Systems
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
Components as Location Graphs
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report
A Calculus for Quality
A Proof Assistant Based Formalization of MDE Components
Admit Your Weakness: Verifying Correctness on TSO Architectures
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories
Interactive Transformations from Object-Oriented Models to Component-Based Models
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime
An Operational Semantics of BPMN Collaboration
Combinatory Synthesis of Classes Using Feature Grammars
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications
Correct Composition of Dephased Behavioural Models
Symbolic Path-Guided Test Cases for Models with Data and Time
Coordination of Dynamic Software Components with JavaBIP
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World
Towards a Failure Model of Software Components
Analysis of Service Oriented Software Systems with the Conversation Calculus
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics
WEASY: A Tool for Modelling Optimised BPMN Processes
Distributed Adaption of Dining Philosophers
What Good are Models?
Component-Based Modeling in Mediator
Specification and Safety Verification of Parametric Hierarchical Distributed Systems
Configuration Logics: Modelling Architecture Styles
Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005
A Categorical Approach to Structuring and Promoting Z Specifications
Realizability of Choreographies for Services Interacting Asynchronously
Towards Verification of Ensemble-Based Component Systems
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions
Architecture-Based Design: A Satellite On-Board Software Case Study
Composable Partial Multiparty Session Types
Synthesis of Hierarchical Systems
A Contract-Oriented Middleware
Model Checking Adaptive Multilevel Service Compositions
Minimizing Characterizing Sets
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
(Context-Sensitivity In) Reo, Revisited
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Corinne, a Tool for Choreography Automata
Verifying Safety of Fault-Tolerant Distributed Components
Super-Dense Computation in Verification of Hybrid CSP Processes
Floating Time Transition System: More Efficient Analysis of Timed Actors
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007
Monitoring Method Call Sequences Using Annotations
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking
Taming Distributed System Complexity through Formal Patterns
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
Automatic Component Deployment in the Presence of Circular Dependencies
The SLCO Framework for Verified, Model-Driven Construction of Component Software
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures
Correctness-by-Learning of Infinite-State Component-Based Systems
Place-Liveness of ComSA Applications
Overview on Constrained Multiparty Synchronisation in Team Automata
Assumption Generation for Asynchronous Systems by Abstraction Refinement
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns
TOM: A Model-Based GUI Testing Framework
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes
Guided Search for Deadlocks in Actor-Based Models
Challenges Engaging Formal CBSE in Industrial Applications
Debugging of BPMN Processes Using Coloring Techniques
Coordinated Actors for Reliable Self-adaptive Systems
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models
Testing Compositionality
The Logic of XACML
A Component-Oriented Framework for Autonomous Agents
Towards Linear Algebras of Components
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009
MPass: An Efficient Tool for the Analysis of Message-Passing Programs
Networks of Real-Time Actors
Liquidity Analysis in Resource-Aware Programming