2226 search results - page 269 / 446 » Scalable Trigger Processing |
166
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
194
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a Quality of Security Service (QoSS) costing framework and demonstration. A method for quantifying costs related to the security service and for storing and re...
162
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
This paper explores the use of growth processes, or embryogenies, to map genotypes to phenotypes within evolutionary systems. Following a summary of the significant features of em...
172
click to vote
ACSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
The Intrusion Detection System architectures commonly used in commercial and research systems have a number of problems that limit their configurability, scalability or efficiency...
155
click to vote
SCI
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...