3573 search results - page 349 / 715 » Reasoning about Codata |
174
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
157
click to vote
GROUP
2003
ACM
15 years 12 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
187
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...
196
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
150
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...