Sign in
Supporting Tuple Space based Mobile Middleware over unreliable mobile infrastructures: Design and formal specifications.
Suddhasil De
Suchetana Chakraborty
Sukumar Nandi
Diganta Goswami
Published in:
IEEE ANTS (2012)
Keyphrases
</>
formal specification
object oriented design
design methodology
mobile devices
mobile applications
mobile phone
middleware architecture
design process
case study
mobile learning
software design
specification languages
multi agent
context aware
reverse engineering
mobile computing