Select All | Select None
You can now keep track of new articles from ACM SIGSMALL/PC Notes on your personalized homepage!
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.
results per page
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
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.
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
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.