890 search results - page 133 / 178 » Programming language methods in computer security |
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
96
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
110
Voted
GRID
2007
Springer
15 years 15 days ago
2007
Springer
In this paper, we present a role-based access control method for accessing databases through the Open Grid Services Architecture – Data Access and Integration (OGSA-DAI) framewor...
87
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
140
click to vote
JMLR
2012
13 years 3 months ago
2012
We study a generalized framework for structured sparsity. It extends the well known methods of Lasso and Group Lasso by incorporating additional constraints on the variables as pa...