2308 search results - page 201 / 462 » Representing Symbolic Reasoning |
180
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...
177
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
274
click to vote
ACISP
2000
Springer
15 years 11 months ago
2000
Springer
We present a new identification scheme which is based on Legendre symbols modulo a certain hidden prime and which is naturally suited for low power, low memory applications. 1 Ove...
168
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
155
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...