yusuke1997/dblp-id-title huggingface dataset:
Gamifying the Classroom for the Acquisition of Skills Associated with Machine Learning: A Two-Year Case Study
Probabilistic and Timed Analysis of Security Protocols
Approach Based Ensemble Methods for Better and Faster Intrusion Detection
Self-Assessment Web Tool for Java Programming
Security Issues in Drinking Water Distribution Networks
A Formal Approach Based on Verification and Validation Techniques for Enhancing the Integrity of Concrete Role Based Access Control Policies
Performance Analysis of User to Root Attack Class Using Correlation Based Feature Selection Model
Proposition of Innovative and Scalable Information System for Call Detail Records Analysis and Visualisation
Blockchain in Education: New Challenges
Produre: A Novel Proximity Discovery Mechanism in Location Tagging System
Cooperative Evaluation Using Moodle
Dynamic Scheme for Packet Classification Using Splay Trees
Advanced 3D Visualization of Android Malware Families
Knowledge Based Expert System for PID Controller Tuning under Hazardous Operating Conditions
Trident, a New Pseudo Random Number Generator Based on Coupled Chaotic Maps
System Identification and Emulation of a Physical Level Control Plant Using a Low Cost Embedded System
Adaptable Text Filters and Unsupervised Neural Classifiers for Spam Detection
A Practical Framework and Guidelines to Enhance Cyber Security and Privacy
Localizing Worst-Parent Rank Attack Using Intelligent Edges of Smart Buildings
Distributed Architecture for Fake News Detection
Permuted Image DCT Watermarking
Attacks Detection on Sampled Netflow Traffic Through Image Analysis with Convolutional Neural Networks (CNN)
Beta Chaotic Map Based Image Steganography
Hackathon in Teaching: Applying Machine Learning to Life Sciences Tasks
A Framework of New Hybrid Features for Intelligent Detection of Zero Hour Phishing Websites
Better Careers for Transnational European Students? - A Case Study for French-German Diploma Alumni
A Distributed Hierarchical Multi-agent Architecture for Detecting Injections in SQL Queries
Deep Wavelet Extreme Learning Machine for Data Classification
A Novel Method for Failure Detection Based on Real-Time Systems Identification
A SVM-Based Behavior Monitoring Algorithm towards Detection of Un-desired Events in Critical Infrastructures
An Approach for Adapting Moodle into a Secure Infrastructure
Efficient Implementation of Stream Cipher SNOW 3G for Resource-Constrained Devices
Traceability and Accountability in Autonomous Agents
The Impact of the SHA-3 Casting Cryptography Competition on the Spanish IT Market
International Joint Conference - CISIS'15 and ICEUTE'15, 8th International Conference on Computational Intelligence in Security for Information Systems / 6th International Conference on EUropean Transnational Education, Burgos, Spain, 15-17 June, 2015
Robust Real-Time Face Tracking Using an Active Camera
Quality Uncertainty and Market Failure: An Interactive Model to Conduct Classroom Experiments
Fingerprint Based Male-Female Classification
Efficient Verification of Security Protocols Time Properties Using SMT Solvers
Data Aggregation Based on Fuzzy Logic for VANETs
Stability Analysis of a Stochastic Malware Diffusion SEIR Model
Real-Time Hybrid Compression of Pattern Matching Automata for Heterogeneous Signature-Based Intrusion Detection
Evaluation of E-learning Criteria to Improve the Academic and Functional Results of PhD Studies
PTK: An Alternative Advanced Interface for the Sleuth Kit
Prediction of Water Usage for Advanced Metering Infrastructure Network with Intelligent Water Meters
Use of Eye-Tracking Methodology for Learning in College Students: Systematic Review of Underlying Cognitive Processes
A Simulation Platform for Testing Negotiation Strategies and Artificial Intelligence in Higher Education Courses
A Scaled Test Bench for Vanets with RFID Signalling
Domain Knowledge: Predicting the Kind of Content Hosted by a Domain
A Preliminary Study on SVM Based Analysis of Underwater Magnetic Signals for Port Protection
Clustering and Neural Visualization for Flow-Based Intrusion Detection
An Innovative Linear Complexity Computation for Cryptographic Sequences
A New Alert Correlation Algorithm Based on Attack Graph
Conditional Entropy Approach to Multichannel EEG-Based Person Identification
An Artificial Neural Network for Bank Robbery Risk Management: The OS.SI.F Web On-Line Tool of the ABI Anti-crime Department
On-the-fly Statistical Classification of Internet Traffic at Application Layer Based on Cluster Analysis
Digital Platforms for Education. The Case of e4you
Mereotopological Analysis of Formal Concepts in Security Ontologies
On Secure JAVA Application in SOA-Based PKI Mobile Government Systems
A Comparative Performance Evaluation of DNS Tunneling Tools
Attacking with Bitcoin: Using Bitcoin to Build Resilient Botnet Armies
Structural Feature Based Anomaly Detection for Packed Executable Identification
Powerful Biogeography-Based Optimization Algorithm with Local Search Mechanism for Job Shop Scheduling Problem with Additional Constraints
Towards Ontology-Based Intelligent Model for Intrusion Detection and Prevention
AIM@VET: Tackling Equality on Employment Opportunities Through a Formal and Open Curriculum About AI
SW-SSS: Slepian-Wolf Coding-Based Secret Sharing Scheme
Impact of Generative Adversarial Networks on NetFlow-Based Traffic Classification
Reinforcement Learning Model Free with GLIE Monte-Carlo on Policy Update for Network Topology Discovery
Crime Prediction for Patrol Routes Generation Using Machine Learning
Detection of Denial of Service Attacks in an MQTT Environment Using a One-Class Approach
Neural Analysis of HTTP Traffic for Web Attack Detection
Looking for the Antidote for Contaminated Water: Learning Through an Escape Game
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents
BIECO Runtime Auditing Framework
Longitudinal Study of Grades for the Industrial Electronics and Automation Engineering Degree Programme
A Fast and Distortion Tolerant Hashing for Fingerprint Image Authentication
Eye-Tracking Technology Applied to the Teaching of University Students in Health Sciences
Personalised Recommendations and Profile Based Re-ranking Improve Distribution of Student Opportunities
Basic Aspects in Redundancy-Based Intrusion Tolerance
Analysis of Secret Key Agreement Protocol for Massive MIMO Systems
Systematic Mapping of Detection Techniques for Advanced Persistent Threats
An Investigation of Multi-objective Genetic Algorithms for Encrypted Traffic Identification
Scientific Gateway and Visualization Tool
SREPT: Software Reliability Estimation and Prediction Tool
Snuffle: Integrated Measurement and Analysis Tool for Internet and Its Use in Wireless In-House Environment
Designing Prozess Replication and Threating Policies: A Quantitative Approach
An Efficient Disk-Based Tool for Solving Very Large Markov Models
Extending SMART2 to Predict the Behaviour of PL/SQL Applications
Symbolic Performance Prediction of Data-Dependent Parallel Programs
Performance Eperiences of the Barcelona Olympic Games Computer System
A Queueing Model with Varying Service Rate for ABR
Towards an Analytical Tool for Performance Modelling of ATM Networks by Decomposition
Heavy Tails: The Effect of the Service Discipline
QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets
A Toolbox for Functional and Quantitative Analysis of DEDS
MIBA: A Micro-Benchmark Suite for Evaluating InfiniBand Architecture Implementations
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
Implementing Symbolic Models for Value Passing in TwoTowers
Enabling Network Caching of Dynamic Web Objects
Interval Based Workload Characterization for Distributed Systems
The PEPS Software Tool
A Passage-Time Preserving Equivalence for Semi-Markov Processes
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds
Möbius: An Extensible Tool for Performance and Dependability Modeling
A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions
Geist: A Web Traffic Generation Tool
A Model Driven Monitoring Approach to Support the Multi-view Performance Analysis of Parallel Responsive Applications
A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies
SPNL: Processes as Language-Oriented Building Blocks of Stochastic Petri Nets
PRISM: Probabilistic Symbolic Model Checker
PEPA Nets: A Structured Performance Modelling Formalism
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
Efficient Transient Overload Tests for Real-Time Systems
qcomp: A Tool for Assessing Online Transaction Processing Scalability
A Model for Performance Estimation in a Multistreamed Superscalar Processor
Object Allocation for Distributed Applications with Complex Workloads
The Simalytic Modeling Technique: Overview for Application Performance Analysis
On the Accuracy of Memory Reference Models
Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks
Performance Analysis of a WDM Bus Network Based on GSPN Models
Software Performance Models from System Scenarios in Use Case Maps
Modelling of Communication Contention in Multiprocessors
STEADY - A Tool for Predicting Performance of Parallel DBMSs
Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings
An EM-Algorithm for MAP Fitting from Real Traffic Data
Workload Characterization of Input/Output Intensive Parallel Applications
A Queue-Shift Approximation Technique for Product-Form Queueing
A Perturbation and Reduction Based Algorithm
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks
Performance Evaluation of Web Proxy Cache Replacement Policies
Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time
A Reconfigurable Hardware Tool for High Speed Network Simulation
A Tool to Model Network Transient States with the Use of Diffusion Approximation
Compositional Performance Modelling with TIPPtool
An M/G/1 Queuing System with Multiple Vacations to Assess the Performance of a Simplified Deficit Round Robin Model
Analyzing PICL Trace Data with MEDEA
WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance
Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings
Scheduling Write Backs for Weakly-Connected Mobile Clients
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations
Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation
Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications
Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure
Queueing Models with Maxima of Service Times
The ProC/B Toolset for the Modelling and Analysis of Process Chains
Minimization of the Impact of Subscriber Mobility on the Resource of a GSM Network
Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks
Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings
Experiences on SIMD Massively Parallel GSPN Analysis
Galileo: A Tool for Dynamic Fault Tree Analysis
Computer Performance Evaluation '92: Modelling Techniques and Tools: Proceedings of the Sixth International Conference on Modelling Techniques and Tools, Edinburg, UK, 1992
Bounding the Loss Rates in a Multistage ATM Switch
Response Times in Client-Server Systems
MRMSolve: Distribution Estimation of Large Markov Reward Models
Optimal Allocation Policies for Mobile Agents
Iterative Analysis of Markov Regenerative Models
MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models
ATMSWSIM An Efficient, Portable and Expandable ATM SWitch SIMulator Tool
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
Software Architecture of the EPOCA Integrated Environment
Exploiting Modal Logic to Express Performance Measures
The TANGRAM-II Environment
A Tool for Controlling Response Time in Real-Time Systems
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
Modelling Aspects of Model-Based Dynamic QoS Management by the Performability Manager
Queueing Models of Parallel Applications: The Glamis Methodology
Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation
A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models
Symbolic Methods for the State Space Exploration of GSPN Models
Calculation and Use of Peaking Factors for Remote Terminal Emulation
HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques
Measurement Tools and Modeling Techniques for Evaluating Web Server Performance
Experimental Analysis of Parallel Systems: Techniques and Open Problems
Synchronized Two-Way Voice Simulation Tool for Internet Phone Performance Analysis and Evaluation
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites
A Low-Cost Infrastructure for High Precision High Volume Performance Measurements of Web Clusters
Necessary and Sufficient Conditions for Representing General Distributions by Coxians
Hierarchical Stochastic Reward Net Solver Package
Porting SHARPE on the WEB: Design and Implementation of a Network Computing Platform Using JAVA
Queueing Analysis of Pools in Soft Real-Time Systems
chi Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design
Simulation Of ATM Computer Networks with Class
Storage Alternatives for Large Structured State Spaces
Hierarchical Workload Characterization for a Busy Web Server
Exact and Approximate Solutions for a Class of Infinite Markovian Models
Simple Bounds for Queues Fed by Markovian Sources: A Tool for Performance Evaluation
Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines
Performance Tools on Intel Scalable High Performance Computing Systems
Performance Evaluation of Distributed Object Architectures
Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings
The Correlation Region of Second-Order MAPs with Application to Queueing Network Decomposition
The Möbius State-Level Abstract Functional Interface
Layered Modeling of Hardware and Software, with Application to a LAN Extension Router
Reusable Software Components for Performability Tools and Their Utilization for Web-Based Configurable Tools
NetSim - A Tool for Medling the Performance of Circuit Switched Multicomputer Networks
SPNP: Stochastic Petri Nets. Version 6.0
MAMSolver: A Matrix Analytic Methods Tool
Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE*ED
An Embedded Network Simulator to Support Network Protocols' Development
Integrating Synchronization with Priority into a Kronecker Representation
PENELOPE: Dependability Evaluation and the Optimization of Performability
A Modular and Scalable Simulation Tool for Large Wireless Networks
Performance Engineering Evaluation of Object-Oriented Systems with SPE*ED
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives
Structured Characterization of the Markov Chain of Phase-Type SPN
Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
Computer Performance Evaluation: Modelling Techniques and Tools, 9th International Conference, St. Malo, France, June 3-6, 1997, Proceedings
Performance Prediction: An Industry Perspective
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling
Decomposition of General Tandem Queueing Networks with MMPP Input
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study
On Choosing a Task Assignment Policy for a Distributed Server System
Experiments with Improved Approximate Mean Value Analysis Algorithms
Reliability and Performability Modeling Using SHARPE 2000
Monitoring Application-Level VoIP Grade of Service at a PSTM-IP Network Gateway
Performance Evaluation with Heavy Tailed Distributions
Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems
Automatically Estimating Network Contention of Parallel Programs
A Set of Tools for Traffic Modeling, Analysis and Experimentation
QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
The Modest Modeling Tool and Its Implementation
PAPS - The Parallel Program Performance Prediction Toolset
A Visual Formalism for the Composition of Stochastic Petri Nets
TANGRAM-II: A Performability Modeling Environment Tool
Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings
Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process
Waiting Time Distributions for Processor Sharing Queues with State-Dependent Arrival and Service Rates
PhFit: A General Phase-Type Fitting Tool
Probability, Parallelism and the State Space Exploration Problem
Performance Evaluation of a Distributed Enterprise Data Mining System
SvPablo: A Multi-language Performance Analysis System
JAGATH: A Methodology and Its Application for Distributed Systems Performance Evaluation and Control
Logical and Stochastic Modeling with SMART
EvalVid - A Framework for Video Transmission and Quality Evaluation
An Algorithm for Off-Line Detection of Phases in Execution Profiles
Validation of GSPN and SWN Models through the PROD Tool
A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control
Ante-Hoc Generation of Task-Agnostic Interpretation Maps
Shared Interest...Sometimes: Understanding the Alignment Between Human Perception, Vision Architectures, and Saliency Map Techniques
The 3rd Explainable AI for Computer Vision (XAI4CV) Workshop, XAI4CV 2024, Workshop at CVPR 2024, Seattle, WA, USA, June 18, 2024, Proceedings
Semantic Approach to Quantifying the Consistency of Diffusion Model Image Generation
Towards Evaluating Explanations of Vision Transformers for Medical Imaging
A Confusion Matrix for Evaluating Feature Attribution Methods
ZEBRA: Explaining Rare Cases Through Outlying Interpretable Concepts
Hierarchical Explanations for Video Action Recognition
Exploring Explainability in Video Action Recognition
Recent Trends Challenges and Limitations of Explainable AI in Remote Sensing
CA-Stream: Attention-based Pooling for Interpretable Image Recognition
Quantifying Explainability with Multi-Scale Gaussian Mixture Models
The 2nd Explainable AI for Computer Vision Workshop, XAI4CV 2023, Workshop at CVPR 2023, Vancouver, BC, Canada , June 19, 2023, Proceedings
Analyzing Results of Depth Estimation Models With Monocular Criteria
Allowing Humans to Interactively Guide Machines Where to Look Does Not Always Improve Human-AI Team's Classification Accuracy
Disentangling Neuron Representations With Concept Vectors
LVLM-Intrepret: An Interpretability Tool for Large Vision-Language Models
Explaining Models Relating Objects and Privacy
Localized Shortcut Removal
Robustness of Visual Explanations to Common Data Augmentation Methods
Spatial Sensitive Grad-CAM++: Improved Visual Explanation for Object Detectors via Weighted Combination of Gradient Map
Vision DiffMask: Faithful Interpretation of Vision Transformers With Differentiable Patch Masking
CAVLI - Using Image Associations To Produce Local Concept-Based Explanations
Sanity Checks for Patch Visualisation in Prototype-Based Image Classification
ODSmoothGrad: Generating Saliency Maps for Object Detectors
Seg-XRes-CAM: Explaining Spatially Local Regions in Image Segmentation
SUNY: A Visual Interpretation Framework for Convolutional Neural Networks from a Necessary and Sufficient Perspective
ReciproCAM: Lightweight Gradient-free Class Activation Map for Post-hoc Explanations
Interactive Visual Feature Search
PURE: Turning Polysemantic Neurons Into Pure Features by Identifying Relevant Circuits
The Manifold Hypothesis for Gradient-Based Explanations
Text2Concept: Concept Activation Vectors Directly From Text
Open Algorithm Selection Challenge 2017: Setup and Scenarios
OASC-2017: *Zilla Submission
ASAP.V2 and ASAP.V3: Sequential optimization of an Algorithm Selector and a Scheduler
Proceedings of the Open Algorithm Selection Challenge 2017, Brussels, Belgium, September 11-12, 2017
AS-ASL: Algorithm Selection with Auto-sklearn
SUNNY with Algorithm Configuration
Raman approach in silicon nanostructure at 1.5 micron
Can SG-FET Replace FET in Sleep Mode Circuits?
A Dual-Mode Hybrid ARQ Scheme for Energy Efficient On-Chip Interconnects
Analysis of forward error correction methods for nanoscale networks-on-chip
Connecting and Configuring Defective Nano-Scale Networks for DNA Self-Assembly
Semi-analytic model for dispersion relation of nanowire lasers
A Distributed Multi-Point Network Interface for Low-Latency, Deadlock-Free On-Chip Interconnects
A Low Cost Network-on-Chip with Guaranteed Service Well Suited to the GALS Approach
Ultra Low Energy Binary Decision Diagram Circuits Using Few Electron Transistors
Reduced Interconnects in Neural Networks Using a Time Multiplexed Architecture Based on Quantum Devices
A Cancer Diagnostics Biosensor System Based on Micro- and Nano-technologies
Chances and Risks of Nanomaterials for Health and Environment
Single and Multiple-Access Channel Capacity in Molecular Nanonetworks
Au, Ag and Cu-silicon RCE photodetectors based on the internal photoemission effect at 1.55 micron
Electron Beam-induced Light Emission and Transport in GaN Nanowires
A topology design customization approach for STNoC
Functional Model of Carbon Nanotube Programmable Resistors for Hybrid Nano/CMOS Circuit Design
Study on Electrical and Optical Properties of the Hybrid Nanocrystalline TiO 2 and Conjugated Polymer Thin Films
Hybrid DNA and Enzyme Based Computing for Address Encoding, Link Switching and Error Correction in Molecular Communication
Skew Insensitive Physical Links for Network on Chip
Design, fabrication and characterization of an α - Si: H / α - SiCN waveguide multistack for electro-optical modulation
Quantitative Analysis of the Feedback of the Robust Signaling Pathway Network of Myosin V Molecular Motors on GluR1 of AMPA in Neurons: A Networking Approach for Controlling Nanobiomachines
Spectral sensing with coupled nanoscale oscillators
On the Reliability of Interconnected CMOS Gates Considering MOSFET Threshold-Voltage Variations
Fault tolerant nano-memory with fault secure encoder and decoder
Nanostencil and InkJet Printing for Bionanotechnology Applications
Digital Microfluidic Logic Gates
Impact of Process Variation in Fault-Resilient Streaming Nanoprocessors
Application of Molecular Electronics Devices in Digital Circuit Design
Algorithm for the choice of topology in reconfigurable on-chip networks with real-time support
3D Nanowire-Based Programmable Logic
Networking behavior in thin film and nanostructure growth dynamics
Multipolar Photonic Interactions for Interconnections and Logical Operations in Nanostructure Networks
Scaling and evaluation of carbon nanotube interconnects for VLSI applications
Nanoscale Data Storage Devices Capacity and Encoding Schemes