5090 search results - page 430 / 1018 » Constructing Strategies for Programming |
184
click to vote
ICTCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
185
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
144
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
167
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
174
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...