4902 search results - page 330 / 981 » Multi-agent Systems Methodology |
169
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
173
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
170
click to vote
ISSAC
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
146
Voted
ICCBSS
2004
Springer
16 years 4 days ago
2004
Springer
This paper summarizes the main achievements of a research whose main goal was to investigate the current state-of-art in the field of requirements engineering for COTS-based system...
177
click to vote
MATES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...