Keyphrases
Finite State Machine
100%
Scenario-aware Dataflow
100%
Dalvik Bytecode
100%
Android Market
50%
App Markets
50%
Bytecode Languages
50%
Optimal Day-ahead Scheduling
50%
Reflection Feature
50%
Android Platform
50%
Smartphone-based
50%
Android App
50%
Control Flow Analysis
50%
Google Play
50%
Malware
50%
Dynamic Dispatch
50%
3U CubeSat
33%
Nonlinear Kinetics
33%
X-Band Transmitter
33%
In-orbit Experiments
33%
In-orbit Demonstration
33%
L-band
33%
Pacemaker Battery Depletion
33%
Effective Resource
33%
Effective Application
33%
Task Schedule
33%
Daily Management
33%
Battery Scheduling
33%
Chaotic Nature
33%
Kinetic Battery Model
33%
Satellite Component
33%
Battery-aware
33%
Geostationary Satellite
33%
Static Synchronous
25%
Dataflow Model
25%
Analyzability
25%
Finite State Control
25%
Synchronous Dataflow
25%
Dynamic Data Streams
25%
Computer Science
Timed Automaton
100%
Bytecode
100%
Finite-State Machine
100%
Model Checking
100%
Android
100%
Formalization
100%
Battery Capacity
50%
Control-Flow Analysis
33%
Control Flow
33%
Automated Tool
33%
Malware
33%
Automaton
25%
Multimedia
25%
Parallel Composition
25%
Case Study
25%
Qualitative Property
25%
Engineering
Limitations
100%
Battery (Electrochemical Energy Engineering)
100%
Tasks
80%
Battery Model
60%
Step Procedure
40%
CubeSat
40%
Optimal Cost
20%
Reachability
20%
Geostationary Satellite
20%
L-Band
20%
Chaotic Nature
20%
Linear Kinetics
20%
X-Band
20%
Input Power
20%
State of Charge
20%
Battery Power
20%
High Data Rate
20%
Control Systems
20%
Attitude Control
20%
Space Stations
20%
Aircraft
20%
Initial State
20%
Error Bound
20%
Battery Capacity
20%
Resource Utilisation
20%