190 search results - page 15 / 38 » Dynamic Control Operators in Type Theory |
159
Voted
SIGCOMM
2012
ACM
13 years 5 months ago
2012
ACM
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
122
click to vote
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...
117
click to vote
STACS
1997
Springer
15 years 6 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
126
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
116
Voted
HYBRID
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...