4609 search results - page 663 / 922 » Automatic Generation of Sigma-Protocols |
192
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
186
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
177
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present reconfigurable hardware architecture for detecting semantics of streaming data on 1+ Gbps networks. The design leverages on the characteristics of contex...
190
click to vote
LCPC
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. The technique of flattening nested data parallelism combines all the independent operations in nested apply-to-all constructs and generates large amounts of potential pa...
177
click to vote
DSVIS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...