Specification-Based Computing Environments.
Robert BalzerDavid DyerMatthew MorgensternRobert NechesPublished in: AAAI (1983)
Keyphrases
- computing environments
- mobile computing
- service discovery
- mobile agents
- pervasive computing
- low bandwidth
- grid computing
- formal specification
- high level
- formal methods
- mobile environments
- pervasive computing environments
- load balancing
- mobile users
- computing platform
- specification language
- business processes
- trusted computing
- computer systems