• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 121 matches

• 2023
• 
  Matthew Forshaw, Katja Gilly, William J. Knottenbelt, Nigel Thomas:
  Practical Applications of Stochastic Modelling - 11th International Workshop, PASM 2022, Alicante, Spain, September 23, 2022, Revised Selected Papers. Communications in Computer and Information Science 1786, Springer 2023, ISBN 978-3-031-44052-6 [contents]
• 2022
• 
  Choman Othman Abdullah, Nigel Thomas:
  Modelling Performance and Fairness of Frame Bursting in IEEE 802.11n Using PEPA. PASM 2022: 105-131
• 
  Ohud Almutairi, Nigel Thomas:
  Performance Modelling of Attack Graphs. PASM 2022: 1-26
• 
  Marco Gribaudo, Mauro Iacono, Daniele Manini, Michele Mastroianni:
  Analysis of the Battery Level in Complex Wireless Sensor Networks Using a Two Time Scales Second Order Fluid Model. PASM 2022: 47-60
• 
  Antreas Kasiotis, Chinomnso Ekwedike, Matthew Forshaw:
  Towards Energy-Aware Management of Shared Printers. PASM 2022: 93-104
• 
  Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Cristina Bernad, Carlos Juiz:
  Data Center Organization and Optimization Strategy as a K-Ary N-Cube Topology. PASM 2022: 81-92
• 
  Gontzal Sagastabeitia, Josu Doncel, Nicolas Gast:
  To Confine or Not to Confine: A Mean Field Game Analysis of the End of an Epidemic. PASM 2022: 61-80
• 
  David Sanchez, Charles Morisset:
  Towards Calculating the Resilience of an Urban Transport Network Under Attack. PASM 2022: 27-46
• 2020
• 
  Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
  Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019. Electronic Notes in Theoretical Computer Science 353, Elsevier 2020 [contents]
• 2019
• 
  Ohud Almutairi, Nigel Thomas:
  Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System. PASM 2019: 5-20
• 
  Ali Alssaiari, Nigel Thomas:
  Energy Consumption by Servers under Unknown Service Demand. PASM 2019: 21-38
• 
  Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere:
  Modelling Load-Changing Attacks in Cyber-Physical Systems. PASM 2019: 39-60
• 
  Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis:
  Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents. PASM 2019: 61-75
• 
  Lelio Campanile, Mauro Iacono, Stefano Marrone, Michele Mastroianni:
  On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications. PASM 2019: 107-127
• 
  Loubna Echabbi, Jean-Michel Fourneau, Oussama Gacem, Houda Lotfi, Nihal Pekergin:
  Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities. PASM 2019: 77-105
• 
  Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
  Preface. PASM 2019: 1-3
• 
  Amin Soltanieh, Markus Siegle:
  Compositional Model Checking and Model Repair for a Class of Product Form Models. PASM 2019: 129-148
• 2018
• 
  Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter:
  Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, PASM 2017, Berlin, Germany, September 9, 2017. Electronic Notes in Theoretical Computer Science 337, Elsevier 2018 [contents]
• 2017
• 
  Marziyeh Bayati:
  Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP. PASM 2017: 5-22
• 
  Johanne Cohen, A. Fauquette, Jean-Michel Fourneau, G. C. Noukela, Nihal Pekergin:
  Convex Stochastic Bounds and Stochastic Optimisation on Graphs. PASM 2017: 23-44
• 
  Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter:
  Preface. PASM 2017: 1-3
• 
  Marco Gribaudo, Mauro Iacono, Daniele Manini:
  Performance Evaluation of Replication Policies in Microservice Based Architectures. PASM 2017: 45-65
• 
  Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi:
  Epistemic Uncertainty Propagation in Power Models. PASM 2017: 67-86
• 
  Illés Horváth, Zsófia Talyigás, Miklós Telek:
  An Optimal Inverse Laplace Transform Method Without Positive and Negative Overshoot - An Integral Based Interpretation. PASM 2017: 87-104
• 
  Said Naser Said Kamil, Nigel Thomas:
  Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing. PASM 2017: 105-117
• 
  Claudia Krull, Marcus Thiel, Graham Horton:
  Testing Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring. PASM 2017: 119-134
• 
  Karim Lounis:
  Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment. PASM 2017: 135-154
• 
  Paul Piho, Anastasis Georgoulas, Jane Hillston:
  Goals and Resource Constraints in CARMA. PASM 2017: 155-172
• 
  Björn F. Postema, Boudewijn R. Haverkort:
  Evaluation of Advanced Data Centre Power Management Strategies. PASM 2017: 173-191
• 2016
• 
  Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
  Modeling Hybrid Systems in SIMTHESys. PASM 2016: 5-25

skipping 91 more matches