330 search results - page 43 / 66 » An argumentation based approach for practical reasoning |
ANTS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Essentially all subexponential time algorithms for the discrete logarithm problem over nite elds are based on the index calculus idea. In proposing cryptosystems based on...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
ENVSOFT
2007
14 years 9 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
81
Voted
CADE
2002
Springer
15 years 9 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
85
Voted
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...