4609 search results - page 569 / 922 » Automatic Generation of Sigma-Protocols |
178
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Loop unrolling is a well-known compiler optimization that can lead to significant performance improvements. When used in High Level Synthesis (HLS) unrolling can affect the contr...
184
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
162
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes our efforts to investigate factors in user browsing behavior to automatically evaluate Web pages that the user shows interest in. We developed a client site l...
176
click to vote
IDEAS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
205
click to vote
IPC
2007
IEEE
16 years 1 months ago
2007
IEEE
Current context-aware adaptation techniques are limited in their support for user personalisation. Complex codebases, a reliance on developer modification and an inability to auto...