1291 search results - page 8 / 259 » Arithmetic program paths |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
DRM
2009
Springer
14 years 1 months ago
2009
Springer
EUROMICRO
2000
IEEE
13 years 11 months ago
2000
IEEE
CCS
2010
ACM
13 years 10 months ago
2010
ACM
