2386 search results - page 259 / 478 » Database Security 2000 |
89
Voted
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
76
Voted
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
79
Voted
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
This paper introduces a new domain for believable agents (BA) and presents novel methods for dealing with the unique challenges that arise therein. The domain is providing improvi...
78
Voted
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
Scalability is a many-sided property which can be captured in a scalability metric that balances cost, volume, timeliness and other attirbutes of value in the system, as a functio...
AMAST
2000
Springer
15 years 3 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...