1122 search results - page 217 / 225 » Modelling Cooperative Multi-agent Systems |
CSCW
2010
ACM
15 years 2 months ago
2010
ACM
Online peer-to-peer (P2P) lending organizations enable an individual to obtain an unsecured loan from a collection of individuals without the participation of a bank. Previous res...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
FUIN
2007
14 years 9 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
102
click to vote
IJMSO
2007
14 years 9 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...