High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.
Roozbeh FarahbodUwe GlässerPiper J. JacksonMona VajihollahiPublished in: ISoLA (2008)
Keyphrases
- high level
- distributed systems
- computing environments
- autonomous mobile
- design criteria
- design issues
- mobile devices
- low level
- statistical analysis
- distributed architecture
- mobile agents
- design process
- building blocks
- higher level
- intelligent systems
- object oriented
- user interface
- expert systems
- data analysis
- computer systems
- mobile phone
- complex systems
- embedded systems
- data intensive
- interactive systems
- mobile objects
- cooperative
- database systems