Computer Science
Model Checking
100%
Performance Evaluation
42%
Stochastic Petri Net
41%
State Space
40%
Case Study
34%
Performability
30%
Markov Chain
29%
Continuous Time
25%
Data Center
22%
ad-hoc network
22%
Stochastic Model
18%
Model Checking Algorithm
17%
Time Markov Chain
17%
Domain-specific languages
14%
Embedded System
14%
Process Algebra
13%
Quality of Service
12%
Petri Net
12%
Queueing Network
12%
Automaton
12%
Event Simulation
11%
Statistical Model
10%
Smart Grid
10%
System Designer
10%
Performance Model
9%
Image Processing
9%
And-States
8%
Power Management
8%
Critical Infrastructure
8%
Dependable System
8%
Importance Sampling
7%
System Behavior
7%
Specification Language
7%
Systems Performance
7%
Distributed System
7%
Application Area
7%
Dependability Modeling
7%
Efficient Algorithm
7%
Local Intrusion Detection
6%
Input/Output
6%
Industrial Case
6%
Distributed Algorithm
6%
State Probability
6%
Markov Decision Process
6%
model checker
6%
Timed Automaton
6%
Mobile Device
6%
Transition System
6%
Medical Imaging
5%
IEEE 802.11E
5%
Keyphrases
Performance Evaluation
46%
Stochastic Petri Nets
36%
State Space
23%
Markov Reward Model
21%
Dependability Attributes
21%
Performability
19%
Markov Chain
19%
Hybrid Petri Nets
17%
Continuous Stochastic Logic
16%
Ad Hoc Networks
16%
Continuous-time Markov Chain
16%
Logic Model Checking
15%
Embedded Systems
15%
Checking Algorithm
14%
Domain-specific Languages
14%
Kinetic Battery Model
14%
Battery Life
14%
Arcade
13%
Infinite State
13%
Survivability
12%
Mean-field Model
12%
SCADA
12%
Battery Model
11%
Mean-field Method
11%
Uniformization
11%
Statistical Model Checking
10%
World Wide Web
10%
Performability Model
10%
Stochastic Logic Model
9%
Rare Event Simulation
9%
Usage Patterns
9%
Modeling Approach
9%
Markovian
9%
Petri Net Model
9%
Smart Grid
9%
Quasi-birth-and-death Process
9%
Performance Model
9%
Service System
9%
Intrusion Detection
9%
Performability Evaluation
9%
System Designer
9%
Mobile Devices
9%
Quality of Service
9%
Queueing Networks
8%
State Space Generation
8%
Power Management
8%
CSL Model
8%
Automata
8%
Operating Limit
8%
Dependable Systems
8%
