9067 search results - page 843 / 1814 » Adaptive Model Checking |
225
click to vote
DIMVA
2009
15 years 8 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...
207
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
224
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Genomic tiling micro arrays have great potential for identifying previously undiscovered coding as well as non-coding transcription. To-date, however, analyses of thes...
225
click to vote
TSMC
2010
15 years 2 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
190
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Open learner models to facilitate reflection are becoming more common in adaptive learning environments. There are a variety of approaches to presenting the learner model to the st...