1711 search results - page 1 / 343 » Completing pseudojump operators |
APAL
2005
13 years 4 months ago
2005
We investigate operators which take a set X to a set relatively computably enumerable in and above X by studying which such sets X can be so mapped into the Turing degree of K. We...
SKG
2006
IEEE
13 years 10 months ago
2006
IEEE
A great variety of languages can be designed by different people for different purposes to operate resource spaces. Two fundamental issues are: can we design more operations in ad...
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
ICASSP
2009
IEEE
13 years 11 months ago
2009
IEEE
Without any assumption on the cover source, this paper presents a complete characterization of all perfectly secure stego-systems that employ mutually independent embedding operat...
EUROSYS
2006
ACM
13 years 10 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...