Distributed Prototyping from Validated Specifications.
David HanselRance CleavelandScott A. SmolkaPublished in: IEEE International Workshop on Rapid System Prototyping (2001)
Keyphrases
- distributed systems
- distributed environment
- search algorithm
- cooperative
- case study
- multi agent
- formal specification
- data sets
- computer networks
- object oriented
- delay insensitive
- heterogeneous environments
- distributed architecture
- rapid prototyping
- control flow
- fault tolerant
- lightweight
- user interface
- high level
- e learning
- social networks
- search engine
- genetic algorithm