Efficient mobility and interoperability of software agents