• Publications
  • Influence
Discrete-Event System Simulation
This book provides a basic treatment of one of the most widely used operations research tools: discrete-event simulation. Prerequisites are calculus, probability theory, and elementary statistics.Expand
  • 3,861
  • 266
  • PDF
McKeachie's teaching tips : strategies, research, and theory for college and university teachers
Part I: GETTING STARTED. 1. Introduction. 2. Countdown for Course Preparation. 3. Meeting a Class for the First Time. Part II: BASIC SKILLS FOR FACILITATING STUDENT LEARNING. 4. Reading as ActiveExpand
  • 1,955
  • 93
Model-based evaluation: from dependability to security
TLDR
In this work, we survey existing model-based techniques for evaluating system dependability, and summarize how they are now being extended to evaluate system security. Expand
  • 511
  • 19
  • PDF
Fluid stochastic Petri nets: Theory, applications, and solution techniques
TLDR
We introduce a new class of fluid stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. Expand
  • 217
  • 19
  • PDF
Trust mechanisms for cloud computing
TLDR
We investigate trust mechanisms for the cloud, present our vision of the “societal systems mechanisms” of trust and a framework for analyzing trust relations in the cloud and suggest trust mechanisms which combine attribute certification, evidence- based trust and policy-based trust. Expand
  • 189
  • 16
  • PDF
Rectilinear Partitioning of Irregular Data Parallel Computations
  • D. Nicol
  • Computer Science
  • J. Parallel Distributed Comput.
  • 1 November 1994
TLDR
This paper describes new mapping algorithms for domain-oriented data-parallel computations, where the workload is distributed irregularly throughout the domain, but exhibits localized or rectilinear communication patterns. Expand
  • 96
  • 14
  • PDF
Estimating the Probability of Failure When Testing Reveals No Failures
TLDR
Formulas for estimating the probability of failure when testing reveals no errors are introduced. Expand
  • 316
  • 12
The cost of conservative synchronization in parallel discrete event simulations
  • D. Nicol
  • Computer Science
  • JACM
  • 1 April 1993
TLDR
This paper analytically studies the performance of a synchronous conservative parallel discrete-event simulation protocol. Expand
  • 202
  • 11
  • PDF
Parallel discrete-event simulation of FCFS stochastic queueing networks
  • D. Nicol
  • Computer Science
  • PPoPP
  • 1 September 1988
TLDR
In this paper we discuss a synchronization method, appointments , which has proven itself to be effective on simulations of FCFS queueing networks. Expand
  • 160
  • 9
A calculus of trust and its application to PKI and identity management
TLDR
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and identity management (IdM). Expand
  • 85
  • 8
  • PDF