Engineering & Materials Science
Network protocols
100%
Real time systems
91%
Formal verification
77%
Authentication
75%
Algebra
70%
Model checking
63%
Specifications
62%
Radio frequency identification (RFID)
61%
Formal specification
43%
Smart cards
40%
Formal methods
39%
Embedded systems
38%
Software defined networking
34%
Secure communication
29%
Nuclear magnetic resonance
26%
Embedded software
26%
IPTV
25%
Spin-lattice relaxation
24%
Ubiquitous computing
23%
Phase transitions
23%
Semantics
22%
Television broadcasting
19%
Order disorder transitions
18%
Set-top boxes
18%
Protons
18%
Program processors
17%
Wireless networks
17%
Communication
17%
Unified Modeling Language
16%
Interfaces (computer)
15%
Linux
15%
Scheduling
15%
Access control
14%
Servers
14%
Firmware
14%
Electron resonance
13%
Static analysis
13%
Missiles
13%
Systems analysis
12%
Data privacy
12%
Control systems
12%
Nanoclusters
11%
Learning algorithms
10%
Computer hardware
10%
Proton beams
10%
Program assemblers
10%
Security of data
10%
Mobile security
10%
Blockchain
10%
Data storage equipment
10%
Mathematics
Real-time
65%
Resources
41%
Schedulability Analysis
39%
Embedded Systems
36%
Radio Frequency Identification
35%
Embedded Software
31%
Model Checking
29%
Vulnerability
24%
Smart Card
23%
Secure Communication
23%
Formal Verification
21%
Distributed Networks
20%
Broadcasting
19%
Security Protocols
19%
Privacy
18%
Process Algebra
18%
Formal Methods
18%
Model
17%
High Performance
16%
Attack
15%
Timing
14%
Algebraic Approach
14%
Communication
14%
Superscalar Processor
13%
Software
13%
Specification
13%
Safety
13%
Operating Systems
13%
Design
13%
Medium Access Control
13%
Demand
13%
Framework
13%
Programmable Logic Controller
12%
User Authentication
12%
Requirements
12%
Unified Modeling Language
12%
Smart Grid
12%
Contention
12%
Timing Analysis
11%
System Design
11%
Accountability
11%
Code Generation
11%
Software System
11%
Key Exchange
11%
Formal Modeling
10%
Wireless Ad Hoc Networks
10%
Security Model
10%
Security Analysis
10%
State Machine
9%
Infrastructure
9%
