1242 search results - page 150 / 249 » The Theory of Grammar Constraints |
229
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
119
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
108
Voted
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
100
Voted
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Motivated to design a feasible optical network architecture for the future Internet, we address the question of scheduling (wavelength assignment) in an optical network. The key ch...
102
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper develops a hierarchical iterative OSNR algorithm based on a game theory framework. A Nash game is formulated between channels with channel utility related to maximiz...