Ants: Mobile Finite State Machines.
Yuval EmekTobias LangnerJara UittoRoger WattenhoferPublished in: CoRR (2013)
Keyphrases
- finite state machines
- finite state automata
- model checking
- mobile devices
- ant colony
- digital circuits
- cellular automata
- context aware
- metaheuristic
- mobile learning
- mobile applications
- mobile phone
- swarm intelligence
- mobile environments
- hidden markov models
- mobile networks
- mobile users
- regular expressions
- computing environments
- mutation testing