4281 search results - page 796 / 857 » How to Disembed a Program |
SIGSOFT
2003
ACM
14 years 27 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
SIGUCCS
2003
ACM
14 years 27 days ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
SIGUCCS
2003
ACM
14 years 27 days ago
2003
ACM
How can you invite and encourage faculty to share their knowledge and ideas about courseware? A successful faculty technology training program promotes interdepartmental collabora...
ATAL
2003
Springer
14 years 27 days ago
2003
Springer
Optimal behavior is a very desirable property of autonomous agents and, as such, has received much attention over the years. However, making optimal decisions and executing optima...
ATAL
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...