Yes - I use Camtasia - its the best app I've found for doing this type of thing and has lots of output settings and formats. I am using version 2.0 which does both wmv and swf. I think it's currently at version 3.0 and you can download a fully functional (including export) 30-day trial version from :
http://www.techsmith.com/download/camtasiatrial.asp
http://www.techsmith.com/download/camtasiatrial.asp