2496 search results - page 305 / 500 » Error-detecting properties of languages |
199
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
168
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
With the development of variable-data-driven digital presses where each document printed is potentially unique there is a need for pre-press optimization to identify material that...
169
click to vote
ICAC
2005
IEEE
16 years 22 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
165
click to vote
APLAS
2005
ACM
16 years 21 days ago
2005
ACM
Dependences for Alarm Diagnosis Xavier Rival ´Ecole Normale Sup´erieure 45, rue d’Ulm, 75230, Paris cedex 5, France We propose a framework for dependence analyses, adapted –a...
175
click to vote
CCIA
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...