1734 search results - page 84 / 347 » its 2000 |
AGENTCL
2000
Springer
15 years 2 months ago
2000
Springer
The author describes a system for defining conversation policies that allows conversants to exchange explicit representations of how they use messages to get things done. This sy...
DIGITALCITIES
2000
Springer
15 years 2 months ago
2000
Springer
In Antwerp the dream of an information highway became reality a long time ago. Antwerp has its electronic highway and every day it grows new side-roads and exits. The main aim is t...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Case-based reasoning systems solve new problems by retrieving and adapting the solutions to similar previously solved problems. The success and performance of any case-based reason...
EKAW
2000
Springer
15 years 1 months ago
2000
Springer
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...