3514 search results - page 260 / 703 » Transportable Information Agents |
173
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
192
click to vote
ATAL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
202
click to vote
AAAI
2007
15 years 9 months ago
2007
Recently, social text streams (e.g., blogs, web forums, and emails) have become ubiquitous with the evolution of the web. In some sense, social text streams are sensors of the rea...
175
click to vote
AAAI
1994
15 years 8 months ago
1994
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
174
click to vote
PODC
2005
ACM
16 years 8 days ago
2005
ACM
We investigate the behaviour of load-adaptive rerouting policies in the Wardrop model where decisions must be made on the basis of stale information. In this model, an infinite n...