Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names.
Mikkel BundgaardThomas T. HildebrandtPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- higher order
- higher order logic
- mobile phone
- natural images
- mobile devices
- limited resources
- computing environments
- formal semantics
- low order
- semantic information
- mobile learning
- markov random field
- resource allocation
- high order
- embedded systems
- mobile applications
- resource constraints
- pairwise
- resource management
- logic programming
- keywords
- mobile networks
- smart phones
- computing resources
- anti unification