1445 search results - page 186 / 289 » Uniformly Hard Languages |
121
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
135
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
176
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
163
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
142
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...