265 search results - page 5 / 53 » aime 2001 |
RAID
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper describes an aggregation and correlation algorithm used in the design and implementation of an intrusion-detection console built on top of the Tivoli Enterpris...
UM
2001
Springer
13 years 12 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
CLIN
2001
13 years 8 months ago
2001
In this paper we present a definition of Performance Grammar (PG), a psycholinguistically motivated syntax formalism, in declarative terms. PG aims not only at describing and expl...
EUSFLAT
2001
13 years 8 months ago
2001
A very different suggestion to the Zadeh's rule for fuzzy inference is the least squares method proposed by T. D. Pham and Valliappan. The aim of this paper is to study the p...