7124 search results - page 143 / 1425 » Programming Languages and Operating Systems |
96
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Locating files based on file system structure, file properties, and maybe even file contents is a core task of the user interface of operating systems. By adapting XPath's po...
120
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
123
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
116
click to vote
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...
123
Voted
ICECCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...