Sciweavers

186 search results - page 18 / 38
» Operational Characteristics of an Automated Intrusion Respon...
Sort
View
RTS
2008
131views more  RTS 2008»
15 years 1 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
151
Voted
CASCON
1996
160views Education» more  CASCON 1996»
15 years 3 months ago
Automatic generation of performance models for distributed application systems
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
M. Qin, R. Lee, Asham El Rayess, Vidar Vetland, Je...
SAC
2008
ACM
15 years 1 months ago
Frequent pattern mining for kernel trace data
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...
Christopher LaRosa, Li Xiong, Ken Mandelberg
130
Voted
USENIX
1994
15 years 3 months ago
A Usage Profile and Evaluation of a Wide-Area Distributed File System
The evolution of the Andrew File System (AFS) into a wide-area distributed file system has encouraged collaboration and information dissemination on a much broader scale than ever...
Mirjana Spasojevic, Mahadev Satyanarayanan
VLDB
1994
ACM
126views Database» more  VLDB 1994»
15 years 6 months ago
Building a Laboratory Information System Around a C++-Based Object-Oriented DBMS
MapBase is a laboratory information system that has been supporting a high-throughput genome-mapping operation for the last three years. We chose to build MapBase around a C++-bas...
Nathan Goodman, Steve Rozen, Lincoln Stein