1122 search results - page 142 / 225 » Modelling Cooperative Multi-agent Systems |
93
Voted
EUROCAST
2007
Springer
15 years 2 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
ATAL
2009
Springer
14 years 11 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
89
Voted
PADS
2006
ACM
15 years 4 months ago
2006
ACM
Artificial intelligence (AI) can contribute to the management of a data driven simulation system, in particular with regard to adaptive selection of data and refinement of the mo...
98
Voted
SCP
2010
14 years 8 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
SIGECOM
2004
ACM
15 years 3 months ago
2004
ACM
Lack of cooperation (free riding) is one of the key problems that confronts today’s P2P systems. What makes this problem particularly difficult is the unique set of challenges ...