585 search results - page 87 / 117 » Strategy Logic |
137
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
137
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
143
Voted
AMAI
2000
Springer
15 years 3 months ago
2000
Springer
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
170
Voted
FDTC
2010
Springer
15 years 1 months ago
2010
Springer
Fault injections constitute a major threat to the security of embedded systems. The errors in the cryptographic algorithms have been shown to be extremely dangerous, since powerful...
131
Voted
ICCAD
2006
IEEE
16 years 20 days ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...