8492 search results - page 335 / 1699 » Modelling and Design of Multi-Agent Systems |
168
click to vote
IJAIT
2006
15 years 6 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
164
click to vote
UMUAI
2008
15 years 6 months ago
2008
Abstract. Self-efficacy is an individual's belief about her ability to perform well in a given situation. Because selfefficacious students are effective learners, endowing int...
142
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
162
click to vote
CIVR
2004
Springer
15 years 11 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
157
click to vote
IKE
2003
15 years 7 months ago
2003
Collaboration based on computers involves two factors, human users and computer systems. When we hope to build a feasible and efficient collaborative system, we must consider both...