4255 search results - page 339 / 851 » Cover |
205
Voted
AOSE
2001
Springer
16 years 1 days ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
174
Voted
ATAL
2001
Springer
16 years 1 days ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
195
Voted
CONTEXT
2001
Springer
16 years 1 days ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
215
click to vote
CSL
2001
Springer
16 years 1 days ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
246
click to vote
EASSS
2001
Springer
16 years 21 hour ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...