3729 search results - page 167 / 746 » On Formal Modeling of Agent Computations |
148
Voted
ESAW
2004
Springer
16 years 11 days ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
167
click to vote
SAC
2004
ACM
16 years 12 days ago
2004
ACM
In this paper we present a multi-criteria model for electronic auctions, which is based on reference points. According to the model, the buyer must specify an aspiration point tha...
152
Voted
ACII
2007
Springer
16 years 1 months ago
2007
Springer
Recent years have seen an explosion of interest in computational models of socio-emotional processes, both as a mean to deepen understanding of human behavior and as a mechanism to...
205
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
197
click to vote
ICFEM
2003
Springer
16 years 6 days ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...