Engineering & Materials Science
Model checking
100%
Semantics
25%
Power management
24%
Statistical Models
23%
Markov chains
23%
Petri nets
22%
Specification languages
18%
Outages
17%
Scheduling
16%
SCADA systems
16%
Specifications
15%
Markov processes
13%
Industry
13%
Sewage treatment
13%
Modeling languages
12%
Algebra
11%
Internet
11%
X rays
11%
Data Science
11%
Botnet
11%
Importance sampling
11%
Monitoring
10%
Systems analysis
10%
Embedded software
10%
System of systems
10%
Intrusion detection
10%
Intelligent buildings
10%
Critical infrastructures
10%
Charging (batteries)
10%
Temperature
10%
Prisms
10%
HTTP
10%
Image processing
10%
Numerical analysis
9%
Cyber Physical System
9%
Wastewater
9%
Software design
8%
Hot Temperature
8%
Simulators
8%
Servers
8%
Computer science
8%
World Wide Web
8%
Testbeds
8%
Ad hoc networks
8%
Smart power grids
8%
Embedded systems
8%
Explosions
8%
Mathematical operators
7%
Quality of service
7%
Mathematics
Power Management
33%
Performability
28%
Data Center
28%
Survivability
22%
Model Checking
21%
Strategy
18%
Evaluation
14%
Domain-specific Languages
14%
Thermal Model
14%
Particle Filtering
13%
Reward
12%
Kalman Filtering
11%
Performance Evaluation
11%
Petri Nets
11%
Specification
10%
Architecture
9%
Instant
9%
Workload
8%
Model
8%
Service-oriented
8%
Logic
7%
Prediction
6%
Grid
6%
Battery
6%
Wastewater Treatment
6%
Energy
6%
Performance
5%
Simulation Framework
5%
Latency
5%
Overflow
5%
Scalability
5%
Performance Measurement
5%
Process Algebra
5%
Discretization Method
5%
