3082 search results - page 211 / 617 » Deviation Analysis: A New Use of Model Checking |
159
click to vote
ICICS
2005
Springer
15 years 12 months ago
2005
Springer
Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a f...
214
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
192
click to vote
HPCC
2007
Springer
16 years 19 days ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
173
click to vote
UM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
187
click to vote
ANLP
1994
15 years 7 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...