3573 search results - page 349 / 715 » Reasoning about Codata |
134
Voted
VL
2003
IEEE
15 years 10 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 ...
131
Voted
GROUP
2003
ACM
15 years 10 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 ...
147
Voted
AGENTCL
2003
Springer
15 years 10 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...
164
Voted
AGENTCL
2003
Springer
15 years 10 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...
123
Voted
ATAL
2003
Springer
15 years 10 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...