3090 search results - page 313 / 618 » On Testing Answer-Set Programs |
185
click to vote
IEEEARES
2007
IEEE
16 years 29 days ago
2007
IEEE
It is difficult to apply existing software development methods to security concerns. Using software for security testing purposes, in particular, is hard to do. The fact that ther...
169
click to vote
WCRE
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
173
click to vote
MHCI
2007
Springer
16 years 24 days ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
183
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
The LCD deblurring problem is considered as a simple bounded quadratic programming problem and is solved using conjugate gradient with early stopping criteria to avoid excessive s...
176
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...