5787 search results - page 1056 / 1158 » Generic User Modeling Systems |
214
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
171
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
179
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
171
click to vote
DLOG
2004
15 years 7 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
182
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...