725 search results - page 87 / 145 » Layered Specification of Intelligent Agents |
AOSE
2005
Springer
14 years 4 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
AOIS
2006
14 years 16 days ago
2006
People tend to form social networks within geographical areas. This can be explained by the fact that generally geographical localities correspond to common interests (e.g. studen...
CEEMAS
2003
Springer
14 years 4 months ago
2003
Springer
Both, research and application development in the area of multi-agent systems currently undertakes rapid expansion. In order to use multi-agent technology in real applications, it ...
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
NICSO
2010
Springer
14 years 6 months ago
2010
Springer
Subsumption architectures are a well-known model for behaviour-based robotic control. The overall behaviour is achieved by defining a hierarchy of increasingly sophisticated behav...