13383 search results - page 2385 / 2677 » Abstractions from proofs |
130
Voted
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
156
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
141
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
146
Voted
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
113
Voted
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...