502 search results - page 96 / 101 » Development and Application of a Formal Agent Framework |
126
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
141
click to vote
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
151
click to vote
IJCAI
1989
15 years 5 months ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
141
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
124
click to vote
ALIFE
2008
15 years 4 months ago
2008
Quorum sensing is a cell density dependent gene regulation system that allows an entire population of bacterial cells to communicate in order to regulate the expression of certain ...