Typing Mobility in the Seal Calculus.

Giuseppe Castagna Giorgio Ghelli Francesco Zappa Nardelli

Published in: CONCUR (2001)

Keyphrases

mobile agents
mobile agent system
mobility patterns
neural network
text entry
algebraic structure
computer algebra
databases
mobile users
proof procedure
automated deduction
network configuration
human mobility
eye typing