209 search results - page 20 / 42 » Biography as events in time and space |
126
click to vote
IWIA
2005
IEEE
15 years 7 months ago
2005
IEEE
Intrusion detection systems alert the system administrators of intrusions but, in most cases, do not provide details about which system events are relevant to the intrusion and ho...
104
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
125
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper focuses on a technique to empower commercial-off-the-shelf (COTS) systems with an execution environment, and corresponding services, to support realtime and embedded ap...
124
Voted
MSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Phoenix is a fault-tolerantreal-time network-attachedstorage device (NASD). Like other NASD architectures, Phoenix provides an object-based interface to data stored on network-att...
110
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...