316 search results - page 30 / 64 » Forms of Expression for Designing Visual Languages for Anima... |
128
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
125
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
We introduce the RT framework, a family of Rolebased Trust-management languages for representing policies and credentials in distributed authorization. RT combines the strengths o...
111
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
125
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
133
click to vote
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...