ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
One of the classic data mining problems is discovery of frequent itemsets. This problem particularly attracts database community as it resembles traditional database querying. In t...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. In this paper, we study the problem of placing limited number of wavelength converting nodes in a multi-fiber network with static traffic demands and propose a tabu sear...
ISCIS
2004
Springer
14 years 4 months ago
2004
Springer
