1 - 2 of 2 articles
This paper presents a system that can be used to verify properties of intelligent agents automatically. We use verification of active message logical routing as an example to illustrate the verification approach. The system can be used to verify intelligent agents in general. The system uses...
Since this will be the last article in the PC Notes series, the topics will be rather wide-ranging. The items include sound, serial ports (including modems and mice), parallel ports, and the keyboard.
Read and print from thousands of top scholarly journals.
Continue with Facebook
Sign up with Google
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.