Mobile and pervasive computing; Software engineering and middleware for dynamic environments; Algorithms and protocols for mobile and pervasive computing; mobile testbed development and use; Application of formal methods to mobile and pervasive computing networks;