High-Level Networking With Mobile Code And First Order AND-Continuations
Paul TarauVerónica DahlPublished in: CoRR (2004)
Keyphrases
- high level
- source code
- low level
- wireless networking
- mobile phone
- higher order
- higher level
- distributed computing
- mobile devices
- mobile users
- mobile environments
- mobile networks
- mobile applications
- mobile technologies
- programming language
- ad hoc networking
- mobile learning
- mobile computing
- peer to peer
- first order logic
- semantic information
- mobile services
- wifi
- horn clauses
- mobile communication
- network infrastructure
- quantifier elimination