2501 search results - page 264 / 501 » Obligations and Their Interaction with Programs |
184
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We consider graphical games in which edges are zero-sum games between the endpoints/players; the payoff of a player is the sum of the payoffs from each incident edge. We give a si...
129
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
153
click to vote
ISPASS
2009
IEEE
16 years 29 days ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
146
click to vote
AOSD
2009
ACM
16 years 29 days ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
153
Voted
FM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...