8492 search results - page 584 / 1699 » Modelling and Design of Multi-Agent Systems |
214
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
201
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
193
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
172
click to vote
AC
2005
Springer
15 years 7 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
204
click to vote
ERSA
2009
15 years 5 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...