7661 search results - page 1173 / 1533 » Languages and the Computing Profession |
209
click to vote
ACSAC
2002
IEEE
16 years 20 days ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
231
click to vote
ICALP
2010
Springer
16 years 15 days ago
2010
Springer
We say that a polynomial f(x1, . . . , xn) is indecomposable if it cannot be written as a product of two polynomials that are defined over disjoint sets of variables. The polynom...
221
click to vote
SAC
2009
ACM
16 years 11 days ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
223
click to vote
CONCUR
2001
Springer
16 years 6 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
230
click to vote
DIS
2001
Springer
16 years 6 days ago
2001
Springer
In the context of classification problems, algorithms that generate multivariate trees are able to explore multiple representation languages by using decision tests based on a com...