2911 search results - page 56 / 583 » A Theory of Expressiveness in Mechanisms |
130
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
Decidability of non-structural subtype entailment is a long standing open problem in programming language theory. In this paper, we apply automata theoretic methods to characterize...
180
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
We investigate the problem of routing connections with QoS requirements across one or more networks, when the information available for making routing decisions is inaccurate and ...
151
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In this paper we investigate the problem of designing an input signal for a Multi-Input Multi-Output plant to minimize a control-oriented criterion. By employing Ljungâ...
185
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
185
click to vote
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
Many access control policy languages, e.g., XACML, allow a policy to contain multiple sub-policies, and the result of the policy on a request is determined by combining the result...