Introducing Ambient Calculus in Mobile Aspect-Oriented Software | IEEE Conference Publication | IEEE Xplore