3771 search results - page 434 / 755 » Subobject Transformation Systems |
146
click to vote
COSPS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
131
click to vote
RSP
2000
IEEE
15 years 9 months ago
2000
IEEE
: The use of program generation from graphical representations like UML is increasing in software projects. The notion of hypergenericity is raising up to improve program generator...
141
click to vote
SIBGRAPI
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
137
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
177
click to vote
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...