2887 search results - page 193 / 578 » Name Generation and Linearity |
194
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
146
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...
184
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
One of the major problem in face verification is to deal with a few number of images per person to train the system. A solution to that problem is to generate virtual samples from...
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
180
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
We build concurrently executable blind signatures schemes in the common reference string model, based on general complexity assumptions, and with optimal round complexity. Namely, ...