yusuke1997/dblp-id-title huggingface dataset:
Differential Evolution Improved with Adaptive Control Parameters and Double Mutation Strategies
Empirical Analysis for Individual Behavior of Impatient Customers in a Call Center
Synthetic Data Generation for Fresh Fruit Bunch Ripeness Classification
DSP-Based Speed Control of Brushless DC Motor
Design and Implementation of Gigabit Ethernet Traffic Integer Module Based on ZYNQ
Structured Teaching Using Drone Simulators for Students' Confidence in Real Flight
Simulation Research on DSDV and AODV Protocol in Tactical Unit Network
Exploting the Orthonormal Function Based on Model Predictive Control for Automotive Application
hMETIS-Based Offline Road Network Partitioning
An Efficiency-Driven Deterministic Optimization Approach for Sensor Placement in Image-Based Forest Field Measurement
Research on Control and Management Technology of Joint Distributed Simulation Experiment Platform
Research on Intelligent Manufacturing Training System Based on Industrial Metaverse
Markov Based Dynamic Slot Allocation Algorithm
Degree Dependence Entropy: A New Descriptor for Complex Networks
An Agent-Based Modeling and Evolutionary Optimization Approach for Vulnerability Analysis of Critical Infrastructure Networks
System Identification of Nonlinear Dynamical System with Missing Observations
Choosing Models of Appropriate Resolutions for Simulation: A MRM Approach
An Agent Framework for High Performance Simulations over Multi-core Clusters
Research on the Rapid Slicing Algorithm for NC Milling Based on STL Model
Analysis of Server Distribution Policies in Peer-Assisted File Distribution with Flash Crowds
Modeling and Simulation on Pulse Compression of Hybrid-Modulation Signal Based on Simulink
The Division Method in Visualization of High Frequency Electromagnetic Wave Propagation for Distributed Computing on CAVE System
A Study of Self-position Estimation Method by Lunar Explorer by Selecting Corresponding Points Utilizing Gauss-Newton Method
Development of a Generic Mesh Converter for Numerical Simulations
A Review of Cyberspace Operations Modeling and Simulation Research and Suggestions
The Application of Modeling for Irregular Objects in the Heavy Driving Simulation System
Web-Based Marine Engineering English Intelligent Training System Design
Improved Shuffled Frog Leaping Algorithm for Solving Multi-aisle Automated Warehouse Scheduling Optimization
Modeling and Simulation of Digital Scene Image Synthesis Using Image Intensified CCD Under Different Weathers in Scene Matching Simulation System
Visualization of Slice Image with Opacity Based on Particle-Based Renderer
Feature Recognition Based on Fuzzy Neural Network for Clone Car
Equipment Residual Useful Life Prediction Oriented Parallel Simulation Framework
Simulating Cyber-intrusion Using Ordered UML Model-Based Scenarios
Research on ZigBee Wireless Meter Reading System in Opnet Simulator
Simulating Groundwater Transport Process Using a Vertical Heterogeneity Model: A Case Study
A Parallel Variant of BiCGStar-Plus Method Reduced to Single Global Synchronization
Parallel Computing Education Through Simulation
Flight Control of Underwater UAV Based on Extended State Observer and Sliding Mode Method
Improving the Accuracy of Homography Matrix Estimation for Disturbance Images Using Wavelet Integrated CNN
Estimation of an Impulse Response Using Kurtosis
Parameter Identification of Nonlinear Systems Model Based on Improved Differential Evolution Algorithm
Performance Analysis of Alternative Designs for a Vehicle Disassembly System Using Simulation Modeling
Research on Simulation Sample Generation Technology Based on Multiple Variable Points
Comparison of Diesel and Green Ship Carbon Emissions with A-Star Route Optimization
Reduction of Knocking Sound Annoyance Through Engine Sound Order Simulation
Research on Low-Cost MSINS/GPS Vehicle Integrated Navigation Error Correction
Application of PID Neural Network Decoupling Control in Deaerator Pressure and Deaerator Water Level Control System
Performance Evaluation of Magnetohydrodynamics Simulation for Magnetosphere on K Computer
Factors Influencing the Digital Skills of Technical Education Students
Time Optimal Control of Mini-submarine Missile Based on Deep Reinforcement Learning
Enterprise Value Portfolio Selection Methodology Using Simulation
A 3D Reconstruction Network Based on Multi-sensor
The Application of Dynamical Management Based on Ontology-Based Simulation Case-Based Description and Reasoning
A Security Risk Analysis Model for Information Systems
On the Wave Spectrum Selection in Ocean Wave Scene Simulation of the Maritime Simulator
A Fast Algorithm for Satellite Coverage Window Based on Segmented Dichotomy
Using Distance-Based Outlier Detection Method to Handle the Abnormal Gateway in WSN
Real-Time Crack Classification with Wall-Climbing Robot Using MobileNetV2
A Sequential Latin Hypercube Sampling Method for Metamodeling
Transactional Communication: The Paradigm Debate
A Transactional Framework
Data Sharing vs. Partitioning for Capacity and Availability
Making Databases Easier to Use
Data Liberation
High Performance Transaction Systems, 2nd International Workshop, Asilomar Conference Center, Pacific Grove, California, USA, September 28-30, 1987, Proceedings
Are Transactions useful outside OLTP? Is there Life Outside Transactions?
A Durable Memory Machine
Exploiting Client Resources through Caching
The Transaction Pipeline Processor
ALCS - A High-Performance High-Availability DB/DC Monitor
OSI Services for Transaction Processing
Transaction ID Interoperability
The Case for Orderly Sharing
A Single-User Performance Evaluation of the Teradata Database Machine
Shared Nothing Will Ultimately Prevail
Consistency of Transactions and Random Batch
On-Line Index Construction Algorithms
Transaction Processing and the Barbarian Hordes
Are TP Monitors getting in the way of Distributed Transaction Processing
Open Systems Enterprise Computing
Shared Disk Reconsidered
Repository Support for TP Case
Implementation Techniques for High Volume Transaction Systems
Generic Action Support for Distributed, Cooperative Applications
LU 6.2 as a Network Standard for Transaction Processing
The Bigger the Application, The Smaller the Database, Smaller is Even more Beautiful than we think
Group Commit Timers and High Volume Transaction Systems
TP is TP Heavy
Unchained Transactionsd and SNA LU6.2
Performance of the Debit/Credit Transaction Using a Relational DBMS
High Performance Distributed Transaction Processing in a General Purpose Computing Environment
Escrow Transactions Permitting Concurrent Record Updates
TP-Lite: Harmless Intruder or Trojan Horse?
Systems and Network Management in High Transaction Rate Systems
International Workshop on High-Performance Transaction Systems, HPTS 1993, 26-29 September 1993
Decomposing and Distributing a Centralized Server
Why TP-Lite will Dominate the TP Market
Performance Evaluation on Distributed Tansaction Facilities
Experiences with a Bank Retail System Using IMS/VS Fast Path
Nested Transactions Crucial for Object Based Transaction Processing Applications
Enhancing Concurrency in Layered Systems
Exploiting Chip Disks for Database Operations and Get Object Storage Out of the Database System
Administrative Tools Required to Support Very Large Databases
Providing Database Management Capabilities for Mission Critical Applications
Synchronizing Shared Memory in the SEQUOIA Fault-Tolerant Multiprocessor
The Advantages of Client-Databases Servers Over Transaction Servers
MVS Unix Migration A Few Observations from Recent Experiences in the Financial Services Industry
Towards an Autopilot in the DBMS Performance Cockpit
TPF: Performance, Capacity, and Availability
Model 204 Architecture and Performance
Highly Available Distributed Systems
Generalized Presumed Abort: Marrying Presumed Abort and SNA LU6.2 Commit Protocols
Performance Issues in High Performance Transaction Processing Architectures
The oo7 Benchmark: Current Status & Future Directions
A Study of Index Structures for a Main Memory Database Management System
Open Software Foundation Distributed Computing Environment
Transaction Message Enablers
Why Today's DBMSes are lousy for Handling 80% of the World's Information
Experiences with a Bank Retail System Using NonStop TXP
TP Monitors Defeat OS-Based Transactional Systems
Parallel Query Processing in Shared Disk Database Systems
The Computer Needs of the Two-Site Berlin-Bonn Government
Citicorp's New High-Performance Transaction Processing System
Transaction System Support for Scientific Data Management
Experiences with an Airline Reservation System Using TPF
A Log-Structured History Data Access Method (LHAM)
The Case for Commit-Time Timestamping in Historical Databases
OO Frameworks
ExPeCt Executions with Promised Characteristics
A Client-Server Transactional Storage Device
RTI-A Standards Based Approach to Transactional RPC
Fault Tolerance in Tandem Systems
TCP Benchmark C: Its Characteristics, Its Differences with TPC-A and How to Tune It
Dealing with Large Objects in a Transaction System
High Availability with Large Transaction Systems
Experiences in Building a CASE Repository Using an OODB
It Looks Great on Paper - CIM using OODBs
Reliable Execution of Large Distributed Applications in APRICOTS (A Prototype Implementation of a ConTract System)
What is Workflow and Who needs it?
Transaction Performance Improvement from Fractional Direct Addressing
The Evolution of Online Transaction Processing under CICS/VS
Framework Approach to OO Management
ACID Properties Need Fast Relief: Relaxing Consistency Using Epsilon Serializability
Architecture of the Transaction Processing System of Independence Technologies' iTRAN System (Abstract)
Tandem Database Group - NonStop SQL: A Distributed, High-Performance, High-Availability Implementation of SQL
System Managed Storage for NonStop OLTP
Open Distributed Transaction Management- heresy or Massive Opportunity
Transaction Support for Acivity Management
Experiences with Large Networks of Computers
Altruistic Locking: A Strategy for Coping with Long Lived Transactions
Why the TP Industry is in a Mess?
Partitioned Two-Phase Locking
International Workshop on High-Performance Transaction Systems, HPTS 1991, Asilomar Conference Center, Pacific, Grove, California, 23-25 September 1991
International Workshop on High-Performance Transaction Systems, HPTS 1985, Asilomar Conference Center, Pacific, Grove, California, 23-25 September 1985
Commit Coordination, Deadlock Detection & Concurrency Control in DBMS
High Transaction Rates in a Distributed Systems
Why Haven't FT Systems Been More Successful?
Probabilistic Cost Enforcement of Security Policies
How to Train Your Guardian - Evaluating Cyber Security Exercises Using Situation Awareness
Security and Trust Management - 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Exploit Prevention, Quo Vadis?
Authenticity Control of Relational Databases by Means of Lossless Watermarking Based on Circular Histogram Modulation
Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection
A Proof-Carrying File System with Revocable and Use-Once Certificates
The AC-Index: Fast Online Detection of Correlated Alerts
Decentralized Global Trust Registry Platform for Trust Discovery and Verification of e-Health Credentials Using TRAIN: COVID-19 Certificate Use Case
Lime: Data Lineage in the Malicious Environment
Secure Stitch: Unveiling the Fabric of Security Patterns for the Internet of Things
Modular Verification of Sequential Composition for Private Channels in Maude-NPA
Formal Analysis of V2X Revocation Protocols
Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols
Impact of Consensus Protocols on the Efficiency of Registration and Authentication Process in Self-sovereign Identity
DOT-COM: Decentralized Online Trading and COMmerce
A Formal Approach for Modelling and Analysing Surgical Procedures
Risk-Aware Role-Based Access Control
MalloryWorker: Stealthy Computation and Covert Channels Using Web Workers
Towards a Unified Abstract Architecture to Coherently and Generically Describe Security Goals and Risks of AI Systems
Authenticating Email Search Results
Non-standards for Trust: Foreground Trust and Second Thoughts for Mobile Security
Obligations in PTaCL
Dynamic Analysis for Explainable Fine-Grained Android Malware Detection
Privacy-Preserving NN for IDS: A Study on the Impact of TFHE Restrictions
Analysing the Efficacy of Security Policies in Cyber-Physical Socio-Technical Systems
Access Control for Weakly Consistent Replicated Information Systems
Subversion-Resistant Commitment Schemes: Definitions and Constructions
The Relevance of Consent in the Digital Age: A Consideration of Its Origins and Its Fit for Digital Application
Security and Trust Management - 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings
Location Privacy in Relation to Trusted Peers
Authentic Execution of Distributed Event-Driven Applications with a Small TCB
Flexible and Secure Process Confinement with eBPF
Security and Trust Management - 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings
Evaluating the Manageability of Web Browsers Controls
Security and Trust Management - 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings
Cover Traffic: A Trade of Anonymity and Efficiency
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies
A PUF-Based Authentication Protocol to Address Ticket-Switching of RFID-Tagged Items
The Role of Data Integrity in EU Digital Signature Legislation - Achieving Statutory Trust for Sanitizable Signature Schemes
A Use-Based Approach for Enhancing UCON
Using Interpolation for the Verification of Security Protocols
A Probabilistic Framework for Distributed Localization of Attackers in MANETs
A Trust-Augmented Voting Scheme for Collaborative Privacy Management
Trust Areas: A Security Paradigm for the Future Internet
Distributed Dynamic Self-control Anonymity Management Model
Integrating Privacy and Safety Criteria into Planning Tasks
BlueWallet: The Secure Bitcoin Wallet
Measuring Modern Phishing Tactics: A Quantitative Study of Body Obfuscation Prevalence, Co-occurrence, and Filter Impact
DAPA: Degradation-Aware Privacy Analysis of Android Apps
DrATC: Dynamic Routing Algorithm Based on Trust Characteristics
Secure Implementation of a Quantum-Future GAKE Protocol
Efficient Scalable Multi-party Private Set Intersection Using Oblivious PRF
Secure Trust Evaluation Using Multipath and Referral Chain Methods
In Cyber-Space No One Can Hear You S·CREAM - A Root Cause Analysis for Socio-Technical Security
Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy
Biometric-Based Password Management
IF-Net: A Meta-Model for Security-Oriented Process Specification
Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources
Establishing Secure Communication Channels Using Remote Attestation with TPM 2.0
Exploring Botnet Evolution via Multidimensional Models and Visualisation
JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language
New Attacks against Transformation-Based Privacy-Preserving Linear Programming
Private Proximity Testing on Steroids: An NTRU-based Protocol
Security Notions of Biometric Remote Authentication Revisited
Monotonicity and Completeness in Attribute-Based Access Control
Parameter-Efficient Fine-Tuning of LLMs for Intrusion Detection and Firewall Rule Generation: A Comparative Study
Security and Trust Management - 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
NoPhish: An Anti-Phishing Education App
How to Trust the Re-use of Data
An Aggregate Signature with Pre-communication in the Plain Public Key Model
Deciding a Fragment of (α , β )-Privacy
Access Control Administration for Smart Homes
YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM
Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns
Cost-Aware Runtime Enforcement of Security Policies
Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties
On the Statistical Detection of Adversarial Instances over Encrypted Data
Key Management for Versatile Pay-TV Services
DrATC+: A Divide et Impera Extension to Trust-Based Dynamic Routing
Security and Trust Management - 21st International Workshop, STM 2025, Toulouse, France, September 25-26, 2025, Proceedings
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx
BioID: A Privacy-Friendly Identity Document
Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems
A Hierarchical Watermarking Scheme for PRFs from Standard Lattice Assumptions
Security and Trust Management - 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings
Secure Architecure for the Integration of RFID and Sensors in Personal Networks
Verifiable Outsourcing of Computations Using Garbled Onions
ALPS: An Action Language for Policy Specification and Automated Safety Analysis
Switchwall: Automated Topology Fingerprinting and Behavior Deviation Identification
Improved Feature Engineering for Free-Text Keystroke Dynamics
Towards a Personal Security Device
Enhanced Modelling of Authenticated Key Exchange Security
Using Prediction Markets to Hedge Information Security Risks
Privacy-Aware Trust Negotiation
Hiding the Policy in Cryptographic Access Control
Rewrite Specifications of Access Control Policies in Distributed Environments
Achieving Strong Security and Verifier-Local Revocation for Dynamic Group Signatures from Lattice Assumptions
Understanding Attestation: Analyzing Protocols that Use Quotes
A Game Theoretic Framework for Modeling Adversarial Cyber Security Game Among Attackers, Defenders, and Users
Matrix Powers Algorithms for Trust Evaluation in Public-Key Infrastructures
Statistically Secure Multiparty Computation of a Biased Coin
Software Vulnerability Detection via Multimodal Deep Learning
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes
Efficient Permutation Protocol for MPC in the Head
RDAS: A Symmetric Key Scheme for Authenticated Query Processing in Outsourced Databases
The Impact of Filtering in Differential Cryptanalysis: A Case Study on FEAL-8
Hybrid Enforcement of Category-Based Access Control
Privacy-Friendly Energy-Metering via Homomorphic Encryption
Influence of Attribute Freshness on Decision Making in Usage Control
Always Authenticated, Never Exposed: Continuous Authentication via Zero-Knowledge Proofs
It's My Privilege: Controlling Downgrading in DC-Labels
Uncertainty, Subjectivity, Trust and Risk: How It All Fits together
Defamation-Free Networks through User-Centered Data Control
A Consistent Definition of Authorization
Automated Symbolic Analysis of ARBAC-Policies
Security and Trust Management - 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings
Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Mutual Remote Attestation: Enabling System Cloning for TPM Based Platforms
ROMEO: ReputatiOn Model Enhancing OpenID Simulator
A Formal Model for Soft Enforcement: Influencing the Decision-Maker
Security and Trust Management - 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
Estimating Software Obfuscation Potency with Artificial Neural Networks
Two-Factor Authentication for the Bitcoin Protocol
A Spark Is Enough in a Straw World: A Study of Websites Password Management in the Wild
Evaluation of Key Management Schemes in Wireless Sensor Networks
Information Security as Strategic (In)effectivity
MITHYS: Mind The Hand You Shake - Protecting Mobile Devices from SSL Usage Vulnerabilities
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA
TLS Beyond the Broker: Enforcing Fine-Grained Security and Trust in Publish/Subscribe Environments for IoT
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors
Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005
Securely Derived Identity Credentials on Smart Phones via Self-enrolment
Analysis of Communicating Authorization Policies
Machines Have Identities Too! Extending NIST's SP 800-63 for Device Identity
Server-Supported Decryption for Mobile Devices
Labeled Goal-Directed Search in Access Control Logic
Security and Trust Management - 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings
Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings
A Datalog Semantics for Paralocks
Towards an Architecture for Managing Security Under the EU Cyber Resilience Act
Formalizing Physical Security Procedures
Google Tag Manager and Its Privacy Issues
Distributed Immutabilization of Secure Logs
SUDUTA: Script UAF Detection Using Taint Analysis
Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007
ABusing Social Media and Sentiment Analysis for Stock Market Prediction
Caching and Auditing in the RPPM Model
Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library
Content and Key Management to Trace Traitors in Broadcasting Services
PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution
Aggregating Trust Using Triangular Norms in the KeyNote Trust Management System
Boosting Model Checking to Analyse Large ARBAC Policies
Enforcement of U-XACML History-Based Usage Control Policy
Tux: Trust Update on Linux Booting
Extending an RFID Security and Privacy Model by Considering Forward Untraceability
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations
Facing Uncertainty in Cyber Insurance Policies
How Much is Risk Increased by Sharing Credential in Group?
Building Trust and Reputation In: A Development Framework for Trust Models Implementation
Ensuring Secure Non-interference of Programs by Game Semantics
Towards a Detective Approach to Process-Centered Resilience
M 2 M: A General Method to Perform Various Data Analysis Tasks from a Differentially Private Sketch
Automated Analysis of Infinite State Workflows with Access Control Policies
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities
Integrating Trust and Economic Theories with Knowledge Science for Dependable Service Automation
Constrained Role Mining
Personal Cross-Platform Reputation
Design, Demonstration, and Evaluation of an Information Security Contract and Trading Mechanism to Hedge Information Security Risks
Nicknames for Group Signatures
Pragmatic Guidelines for Formal Modeling of Security Ceremonies
On Enhancement of 'Share The Secret' Scheme for Location Privacy
Proceedings of the Second International Workshop on Security and Trust Management, STM 2006, Hamburg, Germany, September 20-21, 2006
SIMple ID: QR Codes for Authentication Using Basic Mobile Phones in Developing Countries
Towards Decentralized and Provably Secure Cross-Domain Solutions
Revocable Access to Encrypted Message Boards
HoneyGAN: Creating Indistinguishable Honeywords with Improved Generative Adversarial Networks
An OBDD-Based Technique for the Efficient Synthesis of Garbled Circuits
An Auto-delegation Mechanism for Access Control Systems
Towards Balancing Privacy and Efficiency: A Principal-Agent Model of Data-Centric Business
Software Authentication to Enhance Trust in Body Sensor Networks
Socio-Technical Study on the Effect of Trust and Context When Choosing WiFi Names
Where to Meet a Driver Privately: Recommending Pick-Up Locations for Ride-Hailing Services
Proceedings of the 4th International Workshop on Security and Trust Management, STM@IFIPTM 2008, Trondheim, Norway, June 16-17, 2008
'State of the Union': Evaluating Open Source Zero Trust Components
Trust Extortion on the Internet