|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
| 1 | Jinseok Seo, Gerard Jounghyun Kim |
Explorative construction of virtual worlds: an interactive kernel approach. |
VRCAI |
2004 |
DBLP DOI BibTeX RDF |
interactive kernel, virtual world construction, authoring |
| 1 | Peter Morris, Thorsten Altenkirch, Conor McBride |
Exploring the Regular Tree Types. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elmor L. Peterson |
The Fundamental Relations between Geometric Programming Duality, Parametric Programming Duality, and Ordinary Lagrangian Duality. |
Annals OR |
2001 |
DBLP DOI BibTeX RDF |
ordinary programming, post-optimality analysis, conjugate transformation, Legendre transformation, dual cones, orthogonal complementary subspaces, recession directions, separable optimization, sub-optimization, optimization, convex optimization, Lagrange multipliers, geometric programming, orthogonal projection, duality theory, parametric programming |
| 1 | Ketil Stølen |
A Method for the Development of Totally Correct Shared-State Parallel Programs. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Schmidt, Hans-Martin Hörcher |
Programming with VDM Domains. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")