Sciweavers

9264 search results - page 1242 / 1853
» Space Between Languages
Sort
View
ATAL
2003
Springer
16 years 14 days ago
On the outcomes of formal inter-agent dialogues
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
Simon Parsons, Michael Wooldridge, Leila Amgoud
CP
2003
Springer
16 years 13 days ago
Distributed Forward Checking
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
Ismel Brito, Pedro Meseguer
ECWEB
2003
Springer
110views ECommerce» more  ECWEB 2003»
16 years 13 days ago
Transformation of XML Data Using an Unranked Tree Transducer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
Tadeusz Pankowski
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 13 days ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
IFIP
2003
Springer
16 years 13 days ago
Equilibrium Analysis of Packet Forwarding Strategies in Wireless Ad Hoc Networks - The Static Case
In multi-hop wireless networks, every node is expected to forward packets for the benefit of other nodes. Yet, if each node is its own authority, then it may selfishly deny packe...
Márk Félegyházi, Levente Butt...
« Prev « First page 1242 / 1853 Last » Next »