6274 search results - page 711 / 1255 » Proofs, Programs, Processes |
214
click to vote
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
186
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
204
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
This paper will lead you into the world of mobile agents, an emerging technology that makes it very much easier to design, implement, and maintain distributed systems. You will fin...
215
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
163
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...