1127 search results - page 95 / 226 » The XIS Generative Programming Techniques |
108
click to vote
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
101
click to vote
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
COLING
1990
15 years 19 days ago
1990
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...
136
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
CAISE
1993
Springer
15 years 3 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...