209 search results - page 20 / 42 » Biography as events in time and space |
178
click to vote
IWIA
2005
IEEE
15 years 11 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...
144
click to vote
ATVA
2006
Springer
15 years 9 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...
176
Voted
RTAS
2007
IEEE
16 years 11 days 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...
183
Voted
MSS
2000
IEEE
15 years 10 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...
167
click to vote
HICSS
2007
IEEE
16 years 13 days 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 ...