yusuke1997/dblp-id-title huggingface dataset:
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
Nonergodicity mimicking inhomogeneity in single particle tracking
Representing LCFSPR BCMP service center with Coxian service time by GSPN
Two-buffer fluid models with multiple ON-OFF inputs and threshold assistance
A diffusion regime with nondegenerate slowdown
Revenue Maximization in an Optical Router Node Using Multiple Wavelengths
Modeling modern DNS caches
Learning a Correlated Equilibrium with Perturbed Regret Minimization
Dynamic power allocation games in parallel multiple access channels
Mean value analysis for polling systems in heavy traffic
Constrained Markov Decision Processes with Total Expected Cost Criteria
Auto-Scaling in Data Stream Processing Applications: A Model-Based Reinforcement Learning Approach
J2CBROKER: A Service Broker Simulation Tool For Cooperative Clouds
Topology optimization for solving electromagnetic inverse problem
A 2 k · r factorial analysis tool for ns2measure
A Latency-Aware Reward Model Based Greedy Heuristic for the Virtual Network Embedding Problem
Tool-based performance evaluation of the blackboard communication system
A Taylor series expansions approach to queues with train arrivals
Large deviation properties of constant rate data streams sharing a buffer with variable rate cross traffic
Real-time performance modeling for adaptive software systems
MAC with partially cooperating encoders and security constraints
An efficient analytical method for dimensioning of CDMA cellular networks serving streaming calls
Evaluating the goodness of MANETs performance results obtained with the ns-2 simulator
On Greening Cellular Networks by Sharing Base Stations: A Game-theoretic Approach
Risk-aware SLA negotiation
A heuristic procedure for compact Markov representation of PH distributions
Revenue-Driven Scheduling in Drone Delivery Networks with Time-sensitive Service Level Agreements
Markov regenerative processes solution and stochastic model checking: an on-the-fly approach
Performance Evaluation of ZooKeeper Atomic Broadcast Protocol
Computing the k-coverage of a wireless network
End-to-end link power control in optical networks using Nash bargaining solution
Reduced load approximations for large-scale optical WDM networks offering multiclass services
Mean-field performance analysis of a hazard detection Wireless Sensor network
Performance of the MAP/G/1 queue under the dyadic control of workload and server idleness
Combining Static and Dynamic Traffic with Delay Guarantees in Time-Sensitive Networking
Ultimately Stationary Policies to Approximate Risk-Sensitive Discounted MDPs
A proof of the conjecture in "Pricing surplus server capacity for mean waiting time sensitive customers"
Incorporating prediction models in the SelfLet framework: a plugin approach
Stability-constrained optimization for energy efficiency in polling-based wireless networks
Asymptotic end-to-end stochastic evaluation for tandem networks with many flows
Insensitive queueing models for communication networks
Dynamic Routing Problems with Delayed Information
Fast solvers for queueing systems with negative customers
A Model Transformation Tool: PMIF+ to QNAP
Analytic performance evaluation of opportunistic spectrum access with detection errors
Distributed subchannel assignment in an OFDMA relay
Quantifying ILP by means of graph theory
Performance Degradation in Parallel-Server Systems with Shared Resources
Scaling analysis of an extended machine-repair model
Numerical solutions of continuum equilibria for routing in dense ad-hoc networks
COINC library: a toolbox for the network calculus: invited presentation, extended abstract
Asymmetric delay in evolutionary games
Quantitative evaluation of availability measures of gas distribution networks
Equivalence and Minimization for Model Checking Labeled Markov Chains
Discrete time stochastic automata networks: using structural properties and stochastic bounds to simplify the SAN
Quantitative evaluation of Cloud-based network virtualization mechanisms for IoT
Performability Evaluation of Software Defined Networking Infrastructures
Performance optimization with JMT: Java modelling tools
Representative Delay Measurements (RDM): Facing the Challenge of Modern Networks
A random walk model for infection on graphs
Speed and accuracy of network simulation in the SimGrid framework
Splitting with weight windows to control the likelihood ratio in importance sampling
A game-theoretic approach to decentralized optimal power allocation for cellular networks
Renting Edge Computing Resources for Service Hosting
State-independent importance sampling for estimating large deviation probabilities in heavy-tailed random walks
Performance Analysis of Load Balancing Policies with Memory
Network coding schemes for the multiple-access relay channel
On celebrity, epidemiology and the internet
Modeling and Cycle Analysis of Traffic Signal Systems Based on Timed Networks
A game theoretic evaluation of rate adaptation strategies for IEEE 802.11 based wireless LANs
The DISCO stochastic network calculator version 1.0: when waiting comes to an end
Exponential bounds and stopping rules for MCMC and general Markov chains
Evolutionary Vaccination Games with Premature Vaccines to Combat Ongoing Deadly Pandemic
SEPCOM: customizable zero copy model
Hierarchically constructed Petri-nets and product-forms
Simulation Modeling for Speed Scaling Designs
7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013
Efficient solution of extended Multiple-Phased Systems
Multi-Model Federated Learning with Provable Guarantees
A dynamic approach for load balancing
The cμ/θ rule
Short Term Wind Turbine Power Output Prediction
An interactive visualization framework for performance analysis
Cellular network with continuum priority set
Solving the single server semi-Markov queue with matrix exponential kernel matrices for interarrivals and services
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs
dSalmon: High-Speed Anomaly Detection for Evolving Multivariate Data Streams
The impact of realistic footprint shapes on the connectivity of wireless sensor networks
Revenue maximization with access and information pricing schemes in a partially-observable queueing game
Linear and arithmetically-progressive taxation of spectrum resources in cognitive OFDMA
A two-class parallel queue with pure space sharing among rigid jobs and general service times
Continuous PEPA queues: individual behaviour in continuous queueing networks
Web graph analyzer tool
Oja's algorithm for graph clustering and Markov spectral decomposition
CSRL model checking with closed-form bounding distributions
Heavy traffic steady state approximations in stochastic networks with Lévy inputs
More about base station location games
Random multi-access protocols in networks with partial interaction and non-saturated nodes: a mean field approach
Routing games in the many players regime
Scalable Markov Decision Process Model for Advanced Sleep Modes Management in 5G Networks
Improving Sample Efficiency in Evolutionary RL Using Off-Policy Ranking
Understanding Slowdown in Large-Scale Heterogeneous Systems
Energy efficient topology control for WLANS
Adversarial Multi-armed Bandit for mmWave Beam Alignment with One-Bit Feedback
A stackelberg game for power control and channel allocation in cognitive radio networks
Performance Analysis of SDN Switches with Hardware and Software Flow Tables
Hamiltonian transition matrices
Distributionally Robust Games: f-Divergence and Learning
User-level performance evaluation of VoIP using ns-2
Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial)
Field-induced dispersion in subdiffusion
Optimal population mix in pool depletion systems with two-class workload
Dynamic Parameter Substitution for solution of Layered Queueing Networks with Timeout Decisions
Modeling quantitative requirements in SLAs with network calculus
Selfish routing revisited: degeneracy, evolution and stochastic fluctuations
A novel game-theoretic framework for modeling interactions of ISPs anticipating users' reactions
Performance of SCTP in Wi-Fi and WiMAX networks with multi-homed mobiles
Using parallel replications for sequential estimation of multiple steady state quantiles
An Anti-jamming Game When None Player Knows Rival's Channel Gain
Imaging and detection of cracks in metallic structures with eddy current sensors
TRACK: Optimizing Artificial Neural Networks for Anomaly Detection in Spark Streaming Systems
Delay Efficient Load Balancing Scheme for Component Carrier Selection in Carrier Aggregation in LTE-A
A framework for optimization under limited information
Access network design with capacity-dependent costs
Speed scaling in fork-join queues: a comparative study
On network system evaluation under various failures
Closed form transient solution of continuous time Markov chains through uniformization
Deriving generalised stochastic Petri net performance models from high-precision location tracking data
Worst-case delay bounds with fixed priorities using network calculus
Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings
Fast evaluation of the moments of the interval availability of large Markov models
Structured Markov chains solver: tool extension
Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks
Physical layer authentication over an OFDM fading wiretap channel
GOSPAL: An Efficient Strategy-Proof Mechanism for Constrained Resource Allocation
Multilevel pricing schemes in a deregulated wireless network market
On the calculation of sample-path backlog bounds in queueing systems over finite time horizons
HASL: an expressive language for statistical verification of stochastic models
The simplex game: can selfish users learn to operate efficiently in wireless networks?
Analysis of Non-Markovian Systems in GreatSPN
Achievable secrecy rates for wiretap OFDM with QAM constellations
Autonomic QoS-Aware resource management in grid computing using online performance models
Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment
Heavy-traffic approximations for linear networks operating under alpha-fair bandwidth-sharing policies
Performance evaluation and trade-offs of optimal back-off misbehavior detection schemes in wireless networks in the presence of interference
A binomial measure method for traffic modeling
Uplink power control and subcarrier assignment for an OFDMA multicellular network based on game theory
A Stable Mean Value Analysis Algorithm for Closed Systems with Load-dependent Queues
Efficient, QoE aware delivery of 360° videos on VR headsets over mobile links
Parallelising a simulator for the analysis of electromagnetic radiation using MUMPS library
Load balancing in processor sharing systems
First-passage times in confined geometrys
FJProf: Profiling Fork/Join Applications on the Java Virtual Machine
The concert queueing game with a random volume of arrivals
Analysis and optimal control of a discrete-time queueing system under the (m, N)-policy
Circular harmonic decomposition approach for numerical inversion of circular Radon transforms
Dispatching fixed-sized jobs with multiple deadlines to parallel heterogeneous servers
Parametric Sensitivity and Uncertainty Propagation in Dependability Models
A policy iteration algorithm for Markov decision processes skip-free in one direction
Predictive modelling of SAP ERP applications: challenges and solutions
CloudTUI: a multi cloud platform text user interface
Trading Optimality for Performance in Location Privacy
Simulation versus analytic-numeric methods: illustrative examples
Admission control and routing to parallel queues with delayed information via marginal productivity indices
A tool for packaging and exchanging simulation results
Power allocation in team jamming games in wireless ad hoc networks
A Novel Implementation of Q-Learning for the Whittle Index
OPEDo: a tool framework for modeling and optimization of stochastic models
Load prediction models in web-based systems
Monte Carlo simulation of killed diffusions with a single barrier
Hybrid simulation of biochemical systems using hybrid adaptive Petri nets
Partial Observed Fluid Queue Model for Rechargeable Batteries
Deriving the rate equations characterising product-form models and application to propagating synchronisations
Simulating Hybrid Petri nets with general transitions and non-linear differential equations
Geofenced Broadcasts via Centralized Scheduling of Device-to-Device Communications in LTE-Advanced
A new approach to the analysis proximity between the political positions of group participants
DIMTOOL: A platform for determining worst case latencies in switched queuing networks
Jamming game with incomplete information about the jammer
How to measure efficiency?
fDRIT- An Evaluation Tool for Transient Removal Methods in Discrete Event Stochastic Simulations
Coalitional games for distributed eavesdroppers cooperation in wireless networks
Effects of parameters on Nash games with OSNR target
The busy period distribution of the superposition of periodic arrivals with vacation time
Flow coupling and stochastic ordering of throughputs in linear networks
Cooperative and non-cooperative control for slotted aloha with random power level selections algorithms
Exact worst-case delay for FIFO-multiplexing tandems
A productivity centered application performance tuning framework
Spectrum-aware channel and PHY layer modeling for ns3
Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models
Effect of payload size on mean response time when message segmentations occur: Case of burst packet arrival
On dimensioning Cloud-RAN systems
Distributed subchannel assignment in a multiuser MIMO relay
Estimating service resource consumption from response time measurements
Simulation of wireless multi-* networks in NS-2
A positioning of cooperative differential games
Self, Social and Monopoly Optimization in Observable Queues
Generalizing Window Flow Control in Bivariate Network Calculus to Enable Leftover Service in the Loop
Large-deviations analysis for energy-saving mechanisms in wireless networks
New stochastic network calculus for loss analysis
Utility maximization for resolving throughput/reliability trade-offs in an unreliable network with multipath routing
A realistic simulation of internet-scale events
A new transitory queueing model and its process limits
libARA: a framework for simulation and testbed based studies on ant routing algorithms in wireless multi-hop networks
Analysis of the shortest queue first service discipline with two classes
Jamming DoS in IEEE 802.11 WLANs
Asymptotic Analysis of Modified Erlang-B System with Sensing Time and Stochastic Loss of Secondary Users
GATEway: symbiotic inter-domain traffic engineering
Fair resource allocation in wireless networks in the presence of a jammer
Data-driven appointment scheduling
Multi-Class Queuing Networks Models for Energy Optimization
Modeling and evaluation of supply chains with GSPN components
MDCStream: Stream Data Generator for Testing Analysis Algorithms
IEEE802.16 multi-class capacity including AMC scheme and QoS differentiation for initial and bandwidth request ranging
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
End-to-end delay analysis for networks with partial assumptions of statistical independence: invited paper
Evaluating the performance and neutrality/bias of search engines
Change Rate Estimation and Optimal Freshness in Web Page Crawling
Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques
Maximum delay-constrained source rate over a wireless channel
On Discrete Time Reversibility modulo State Renaming and its Applications
Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems
A self-optimization method for coverage-capacity optimization in OFDMA networks with MIMO
Some Notes on Rare-Event Simulation Challenges
Admission control for VoIP and data traffic in IEEE 802.11 WLANs
Autonomic Orchestration of Containers: Problem Definition and Research Challenges
A TTL-based Approach for Content Placement in Edge Networks
An energy-efficient power allocation game with selfish channel state reporting in cellular networks
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains
Time-limited and k-limited polling systems: a matrix analytic solution
Optimal index rules for single resource allocation to stochastic dynamic competitors
Evaluation of a Self-organized Traffic Light Policy
Vulnerability Evaluation of Distributed Reputation Management Systems
Efficiency of random walks for search in different network structures
A survey on distributed approaches to graph based reputation measures
Whittle networks with resets
VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020
Cross-entropy based data association for multi target tracking
From solar flare time series to fractional dynamics
10th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2016, Taormina, Italy, 25th-28th Oct 2016
HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper
Information theoretic aspects of fairness criteria in network resource allocation problems
System Content Analysis for a Two-Class Queue Where Service Times in a Busy Period Depend on the Presence of Class-2
Efficient calculation of rare event probabilities in Markovian queueing networks
Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification
Admission control and profitability analysis in dynamic spectrum access data networks
Transient features for Markovian binary trees
Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems
A Monte Carlo simulator for evaluating server placement within network topology designs
Game theoretic analysis of wireless access network selection: models, inefficiency bounds, and algorithms
Indexability of an opportunistic scheduling problem with partial channel information
Performance evaluation of distance-hop proportionality on geometric graph models of dense sensor networks
Stationary delays for a two-class priority queue with impatient customers
Performance evaluation of advanced routing algorithms for unstructured peer-to-peer networks
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
A semi-dynamic model for competition over popularity and over advertisement space in social networks
Efficient heuristics for the simulation of population overflow in series and parallel queues
Network of queues with inert customers and signals
Uplink Contention-based Transmission Schemes for URLLC Services
Regenerative systems: challenges and opportunities for modeling, simulation, and visualization
Complex synchronizations in Markovian models: a tensor-based proof of product form
Computation of a (min, +) multi-dimensional convolution for end-to-end performance analysis
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents
HJB approach for motion planning and reachabilty analysis
From partially to fully lumped Markov chains in stochastic well formed Petri nets
Capacity planning tools for web and grid environments
Control variates as screening functions
Deriving Explicit Control Policies for Markov Decision Processes Using Symbolic Regression
Joint Operator Replication and Placement Optimization for Distributed Streaming Applications
Simulation of Evacuation Route Guidance in MANET-based Building Evacuation System
Secure distributed lossless compression with side information at the eavesdropper
Markov chain-based optimization of multihop IEEE 802.15.4 wireless sensor networks
Automatic Extraction of Probabilistic Workload Specifications for Load Testing Session-Based Application Systems
Demand-side management in smart grids: An evolutionary games perspective
MCMC Approaches to Rumor Source Inference using Pairwise Information
A histogram-based stochastic process for finite buffer occupancy analysis
Dealing with indetermination in biochemical networks
A Product-Form Solution for a Two-Class Geo Geo /D/1 Queue with Random Routing and Randomly Alternating Service
Tail equivalence for some time-shared systems
Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study
Optimal Control of a Queue With High-Low Delay Announcements: The Significance of the Queue
5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011
Split: a flexible and efficient algorithm to vector-descriptor product
Hypothesis Testing Approach to Detecting Collusion in Competitive Environments
Simulation of a Jackson tandem network using state-dependent importance sampling
Uncle Traps: Harvesting Rewards in a Queue-based Ethereum Mining Pool
Graph Neural Network Based Scheduling: Improved Throughput Under a Generalized Interference Model
Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation
Aggregated bounding Markov processes applied to the analysis of tandem queues
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems
Computing an index policy for multiarmed bandits with deadlines
Towards an Ontology development for automated applications in Smart City environment of SmartME Project
Analysis of fibre-loop optical buffers with a void-avoiding schedule
Contextual lumpability
Resource allocation in a cloud under virus attacks
First Frontier Monotonicity for Fluid Models of Multiclass EDF Queueing Networks
Interactive comparison of hypothesis tests for statistical model checking
Class treatment in queueing systems: discrimination and fairness aspects
Automating the Deployment of Multi-Cloud Applications in Federated Cloud Environments
Analyzing LoRa long-range, low-power, wide-area networks using stochastic geometry
Learning to use the spectrum in self-configuring heterogenous networks: a logit equilibrium approach
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
Fast Min-plus Convolution and Deconvolution on GPUs
Stability of two interfering processors with load balancing
Perturbation of CTMC Trapping Probabilities with Application to Model Repair
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability
Socially optimal pricing of cloud computing resources
Model for sharing femto access
Enhanced inferencing: estimation of a workload dependent performance model
Optimal control of admission to a station in a closed two queue system
The concert/cafeteria queueing problem: a game of arrivals
Network Emulation Support in ns-3 Through Kernel Bypass Techniques
Efficiency of Symmetric Nash Equilibria in Epidemic Models with Confinements
Markov Chains and Hitting Times for Error Accumulation in Quantum Circuits
Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language
Profiting the idleness in single server system with orbit-queue
A Framework for System Event Classification and Prediction by Means of Machine Learning
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019, Universitat de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019
Network calculus and queueing theory: two sides of one coin: invited paper
8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014, Bratislava, Slovakia, December 9-11, 2014
A Short Tutorial On Using SGsim Framework For Smart Grid Applications
Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh
Finding structure in Blogs: bipartite networks analysis: invited presentation, extended abstract
NSOSS: the non-synchronized optical switch simulator