Stream-Based Specification of Mobile Systems.

Radu Grosu Ketil Stølen

Published in: Formal Aspects Comput. (2001)

Keyphrases

real time
autonomous mobile
mobile phone
information systems
high level
learning systems
complex systems
neural network
data streams
computer systems
context aware
learning algorithm
management system
stream processing