1769 search results - page 191 / 354 » Choice in Dynamic Linking |
171
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
129
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
172
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
156
click to vote
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
We present NetTraveler a database middleware system for WANs that is designed to efficiently run queries over sites that are either mobile clients or enterprise servers. NetTravel...
159
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...