7971 search results - page 311 / 1595 » On unbounded operators and applications |
179
click to vote
ISMIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...
166
click to vote
KES
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a lightweight middleware agent framework (LAF) for coordinating a large array of computers with attached cameras to construct high resolution video-rate image ...
172
click to vote
TARK
2005
Springer
16 years 4 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
146
click to vote
DFG
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
158
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...