5255 search results - page 354 / 1051 » Formal Methods for Privacy |
151
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
154
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
127
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
156
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
158
Voted
ESORICS
1994
Springer
15 years 9 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...