Property:Keywords
From Navigators
This is a property of type String.
Pages using the property "Keywords"
Showing 25 pages using this property.
(previous 25) (next 25)A | |
---|---|
AIR + | Aerospace industry +, ARINC 653 +, Real-time kernels +, … |
AJECT + | security +, fault injection +, software vulnerability +, … |
AQUAMON + | Sensor networks +, Dependability +, IoT +, … |
Abyss + | Autonomic Computing +, Self-adaptation +, Distributed Systems +, … |
B | |
BROADCAST + | groups +, distributed systems +, large scale +, … |
C | |
COPE + | Distributed systems +, Fault tolerance +, Parallel Computing +, … |
CORTEX + | Large-Scale Distributed Systems +, Mobility +, Proactive applications +, … |
COST Action IC1402 + | Runtime Verification + |
CaberNet + | distributed systems +, dependable computing systems + |
CloudFIT + | Distributed Systems +, Intrusion Tolerance +, Security +, … |
CoDiCom + | real-time +, reliable multicast +, fault-tolerance +, … |
D | |
DARIO + | Distributed embedded systems +, distributed control +, real-time sensor/actuator networks +, … |
DEAR-COTS + | Real-Time +, Fault-Tolerance +, Computer Aided Manufacturing +, … |
DEFEATS + | Distributed systems +, Configuration +, Intrusion tolerance +, … |
Delta-4 + | Delta-4 + |
DiSIEM + | SIEMs +, Diversity +, Open-source intelligence +, … |
G | |
GODC + | groups +, distributed systems +, large scale +, … |
I | |
IRCoC + | Distributed Systems +, Security and Dependability +, Cloud Computing +, … |
M | |
MAFTIA + | Dependability +, Security +, Large networks + |
MICRA + | Real-Time Systems +, Fault-Tolerant Systems +, Distributed Systems +, … |
MOOSCO + | Multi-user Object Oriented Environement +, Separation of Concerns +, Configurable Systems + |
N | |
NORTH + | Formal Methods; Modelling and Temporal Logics; Non-Intrusive Observation; Runtime Verification; Cyber-Physical Systems. + |
R | |
RE:DY + | Energy CyberPhysical Systems +, Adaptation +, Big Data + |
READAPT + | Aerospace Systems +, Mixed Criticality +, Safety and Security +, … |
REDBOOK + | runtime verification +, non-intrusive system monitoring +, cyber-physical systems +, … |