1291 search results - page 8 / 259 » Arithmetic program paths |
132
click to vote
CORR
2000
Springer
15 years 4 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...
141
click to vote
ESORICS
2010
Springer
15 years 4 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...
190
Voted
DRM
2009
Springer
15 years 11 months ago
2009
Springer
101
Voted
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
108
Voted
CCS
2010
ACM
15 years 7 months ago
2010
ACM
