Sciweavers

963 search results - page 90 / 193
» Modeling and analysis of real -time systems with mutex compo...
Sort
View
DSN
2007
IEEE
15 years 6 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
ENVSOFT
2006
60views more  ENVSOFT 2006»
14 years 12 months ago
Interactive Ground Water (IGW)
IGW is a software environment for real-time 2D and 3D groundwater modeling. The software functions as a ``numerical laboratory'' in which the modeler can freely explore:...
Shu-Guang Li, Qun Liu
EGICE
2006
15 years 3 months ago
Combining Two Data Mining Methods for System Identification
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...
Sandro Saitta, Benny Raphael, Ian F. C. Smith
AIED
2007
Springer
15 years 3 months ago
Towards promoting meta-cognition using emotive interface personas within Open-Learner Modelling Environments
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
Sylvie Girard
RAID
2007
Springer
15 years 6 months ago
Understanding Precision in Host Based Intrusion Detection
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
Monirul I. Sharif, Kapil Singh, Jonathon T. Giffin...