1999 search results - page 365 / 400 » Dependently Typed Grammars |
118
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
124
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
129
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
140
click to vote
SACMAT
2006
ACM
15 years 8 months ago
2006
ACM
We introduce the concept, model, and policy-specific algorithms for inferring new access control decisions from previous ones. Our secondary and approximate authorization model (...
148
click to vote
SCESM
2006
ACM
15 years 8 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....