3224 search results - page 141 / 645 » On Checking Model Checkers |
211
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
194
click to vote
COMCOM
2008
15 years 7 months ago
2008
In this paper, we address the problem of increasing the effectiveness of an intrusion detection system (IDS) for a cluster of nodes in ad hoc networks. To reduce the performance o...
188
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
186
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
