2496 search results - page 305 / 500 » Error-detecting properties of languages |
186
click to vote
APLAS
2006
ACM
16 years 23 days 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...
162
click to vote
DOCENG
2006
ACM
16 years 23 days 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...
150
click to vote
ICAC
2005
IEEE
16 years 12 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...
148
Voted
APLAS
2005
ACM
16 years 11 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...
168
click to vote
CCIA
2005
Springer
16 years 10 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...