3224 search results - page 141 / 645 » On Checking Model Checkers |
140
Voted
SIGSOFT
2003
ACM
16 years 3 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...
131
Voted
COMCOM
2008
15 years 2 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...
115
Voted
COMPSAC
2002
IEEE
15 years 7 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...
119
Voted
AIIA
2007
Springer
15 years 8 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...
118
Voted
ENTCS
2002
15 years 2 months ago
2002
or Abstraction in Model Checking Mar