8022 search results - page 1257 / 1605 » Predictability in Critical Systems |
157
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
177
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In host-based intrusion detection systems (HIDS), anomaly detection involves monitoring for significant deviations from normal system behavior. Hidden Markov Models (HMMs) have...
225
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In this paper, we look at initial results of data mining students’ help-seeking behaviour in two ITSs: SQL-Tutor and EER-Tutor. We categorised help given by these tutor...
211
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Clustering in Mobile Ad Hoc Networks (MANETs) has shown to be a promising technique to ensure the scalability and efficiency of various communication protocols. Since stations in...
207
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Data Stream Management Systems are useful when large volumes of data need to be processed in real time. Examples include monitoring network traffic, monitoring financial transacti...