Keyphrases
Actor Model
94%
Actor System
76%
Concurrency
68%
Sensor Networks
64%
Structural Health Monitoring
63%
Concurrent Systems
63%
Actor Languages
56%
Distributed Systems
48%
Message Passing
43%
Wireless Sensor Networks
43%
Programming Languages
43%
Resource Management
39%
Parallel Algorithm
38%
Programming Paradigms
36%
Multithreaded Programs
34%
Middleware
32%
Concurrent Programming
30%
Programmer
30%
Wireless Smart Sensor
28%
Systems-based
27%
Concurrent Objects
27%
Actor-oriented
27%
Time Constraints
26%
Garbage Collection
25%
Parallelization
25%
Object-oriented Systems
25%
Distributed Objects
25%
Smart Sensors
25%
Java
25%
Concurrent Object-oriented Programming
24%
Language-based
23%
Debugging
23%
Execution Trace
23%
Probabilistic Systems
22%
Open Systems
22%
Sensor Node
22%
Energy Consumption
22%
Safety Properties
21%
Agent-based Control
21%
Application-oriented
21%
Decentralized Control
21%
Statistical Model Checking
21%
Multi-agent Systems
20%
Garbage
20%
Programming Systems
19%
Concurrent Computation
19%
Active Objects
18%
Real-time Constraints
18%
Local State
18%
Mobile Agent
18%
Computer Science
Concurrency
100%
Model Checking
78%
Sensor Networks
74%
Concurrent System
67%
Distributed Systems
65%
Message Passing
63%
Wireless Sensor Network
51%
Structural Health
42%
Multi Agent Systems
41%
Parallel Algorithms
40%
Concurrent Language
40%
Programming Language
40%
Programming Paradigm
36%
Object Oriented Programming
35%
Multithreaded Program
31%
multi agent
31%
Case Study
30%
Model of Computation
30%
Execution Trace
29%
Distributed Object
27%
Parallelism
26%
Programming Model
26%
Mobile Agents
25%
Time Constraint
24%
Garbage Collection
24%
Real Time Systems
22%
Energy Consumption
22%
Operational Semantics
21%
Decentralized Control
21%
Statistical Model
21%
Distributed Programming
21%
Timing Constraint
18%
Quality of Service
18%
Symbolic Execution
18%
Agent Platform
17%
Data Processing
17%
Internet of Things
16%
Time Markov Chain
16%
Storage System
15%
Multicomputers
15%
Cyber Physical Systems
15%
Communication Protocol
14%
discrete-time
14%
Nondeterminism
14%
Program Execution
14%
Embedded Systems
14%
Probability Mass Function
14%
Message Delivery
14%
Computer Science
13%
Time Requirement
13%