1932 search results - page 274 / 387 » A Functional Quantum Programming Language |
121
click to vote
SIGOPSE
2004
ACM
15 years 10 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
129
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
We present new techniques for supervised wrapper generation and automated web information extraction, and a system called Lixto implementing these techniques. Our system can gener...
158
click to vote
IWFM
2000
15 years 5 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
148
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
146
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...