413 search results - page 18 / 83 » On Product Logic with Truth-constants |
128
click to vote
ECBS
2006
IEEE
15 years 3 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
112
click to vote
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
ESEM
2008
ACM
15 years 1 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...
CIE
2010
Springer
15 years 4 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of...