Measuring the Pro-Activity of Software Agents | IEEE Conference Publication | IEEE Xplore