Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines.

Published in: SDKB (2011)

Keyphrases

computing systems
computer systems
computing technologies
computing platform
mobile devices
open source
high performance computing
processing units
ambient intelligence
autonomic computing
mobile technologies
ubiquitous computing environments
hardware platforms