Keyphrases
Reactive Systems
100%
Concurrency
100%
Probabilistic Model
100%
Probabilistic Choice
40%
Concurrent Systems
40%
Ubiquitous Systems
20%
Automatic Approach
20%
Specification Analysis
20%
Mission-critical Applications
20%
Probabilistic Flow
20%
Real-time Concurrent Systems
20%
Social Mission
20%
Models of Computation
20%
Distributed Configuration
20%
Probabilistic Behavior
20%
Cloud Based Computation
20%
Probabilistic Rewriting
20%
Nondeterminism
20%
Non-deterministic
20%
Social Networking
20%
Rewriting Logic
20%
Computational Tools
20%
Private Information
20%
Mathematical Model
20%
Public Information
20%
Information Sharing
20%
Automated Analysis
20%
Ubiquitous Computing
20%
Computational Techniques
20%
Logical Specification
20%
Quantitative Aspects
20%
Executable Specification
20%
Event Occurrence
20%
Computational Semantics
20%
Computer Science
Reactive System
100%
Concurrency
100%
Concurrent System
75%
Probabilistic Choice
50%
Share Information
25%
Automated Analysis
25%
Automatic Approach
25%
Ubiquitous Computing
25%
Social Networking (Online)
25%
Critical Application
25%
Rewriting Logic
25%
Model of Computation
25%
Social Network
25%
INIS
probabilistic estimation
100%
stochastic processes
100%
specifications
30%
calculation methods
30%
tools
20%
environment
10%
clouds
10%
information
10%
mathematical models
10%
proposals
10%
applications
10%
dynamics
10%
configuration
10%
public information
10%