2947 search results - page 78 / 590 » Analyzing Program Analyses |
105
click to vote
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Semidefinite programming based approximation algorithms, such as the Goemans and Williamson approximation algorithm for the MAX CUT problem, are usually shown to have certain perf...
110
click to vote
FSS
2007
15 years 2 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
111
Voted
VL
2007
IEEE
15 years 8 months ago
2007
IEEE
Children who are active on the internet are performing significant design and programming activity without realising it, in the course of hacking little animations, game scripts a...
107
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
110
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...