1453 search results - page 171 / 291 » State and history in operating systems |
168
click to vote
EAAI
2007
15 years 6 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
166
click to vote
TNC
2004
15 years 7 months ago
2004
The function of a Network Intrusion Detection System (NIDS) is to identify any misuse and abnormal behavior determined as an attack to a network segment or network host. The propo...
204
click to vote
PODC
2006
ACM
16 years 12 days ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...
174
click to vote
AIPS
2003
15 years 7 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
153
click to vote
EICS
2009
ACM
16 years 29 days ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...