Three-valued asynchronous distributed runtime verification.
Torben ScheffelMalte SchmitzPublished in: MEMOCODE (2014)
Keyphrases
- distributed systems
- asynchronous circuits
- distributed environment
- distributed constraint satisfaction
- cooperative
- peer to peer
- model checking
- distributed architecture
- fault tolerant
- distributed data
- distributed processing
- lightweight
- mobile agents
- multi agent
- heterogeneous environments
- neural network
- distributed constraint satisfaction problems
- database