4099 search results - page 494 / 820 » A Framework for Interactive Proof |
190
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
170
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
179
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
Presently, inductive learning is still performed in a frustrating batch process. The user has little interaction with the system and no control over the final accuracy and traini...
144
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
184
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...