2004 search results - page 257 / 401 » Comparison of Model Checking Tools for Information Systems |
136
click to vote
KI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
149
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we analyze the cyber security of state estimators in Supervisory Control and Data Acquisition (SCADA) systems operating in power grids. Safe and reliable operation o...
150
click to vote
WORM
2003
15 years 6 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
112
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Measuring the efficacy of ITS can be hard because there are many confounding factors: short, well-isolated studies suffer from insufficient interaction with the system, while longe...
177
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Theme network is a semantic network of document specific themes. So far Natural Language Processing (NLP) research patronized much of topic based summarizer system, unable to captu...