4036 search results - page 536 / 808 » Formal Methods |
188
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
206
click to vote
PPSN
1994
Springer
15 years 10 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
180
click to vote
ICMB
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we present an assessment of NFC (Near Field Communication) for future mobile payment systems. NFC is expected to become a very trendy technology for mobile services...
180
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
We give the first rigorous upper bounds on the error of temporal difference (td) algorithms for policy evaluation as a function of the amount of experience. These upper bounds pr...
148
click to vote
JAPLL
2006
15 years 6 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...