Keyphrases
Probabilistic Timed Automata
90%
Dynamic Power Management
45%
Symbolic Model Checking
45%
Probabilistic Model Checking
45%
Digital Clock
45%
Performance Analysis
45%
FireWire
20%
Timed Temporal Logic
20%
Temporal Logic Properties
20%
Contention-based Protocol
20%
Discrete Probability Distribution
20%
Timed Automata
20%
Buffer Size
15%
Energy Usage
15%
Formal Framework
15%
Stochastic Dynamics
15%
Power Management Strategy
15%
Cost Simulation
15%
Power Consumption
15%
System Design
15%
Performance Measures
15%
Large Classes
11%
Modeling Formalism
11%
802.11 Wireless Local Area Networks
11%
Verification Algorithm
11%
Approximate Results
11%
Dense Model
11%
Non-probabilistic
11%
Verification Problem
11%
IEEE 802.11
11%
Real-time Verification
11%
Dynamic Configuration
11%
Real-time Transport Protocol
11%
Non-deterministic
11%
IEEE 1394
11%
Communication Protocol
11%
Probabilistic Reachability
11%
IPv4
11%
Reachability
11%
Real-time Systems
11%
High Complexity
11%
Probabilistic Real-time Systems
11%
Symbolic Framework
9%
Difference-bound Matrices
9%
PTCTL
9%
Fault-tolerant Systems
9%
Checking Algorithm
9%
Prototype Implementation
9%
Divergence
9%
System Behavior
9%
Randomized Protocol
9%
Quantitative Properties
9%
Computer Science
Model Checking
100%
Timed Automaton
90%
Power Management
45%
Dynamic Power
45%
Performance Analysis
45%
Temporal Logic
24%
Discrete Probability
16%
Performance Measure
15%
Formal Framework
15%
Power Consumption
15%
IEEE 802.11
9%
Network Protocols
9%
wireless local area network
9%
Real Time Systems
9%
fault-tolerance
7%
Model Checking Algorithm
7%
System Behavior
7%
Case Study
7%