4609 search results - page 784 / 922 » Automatic Generation of Sigma-Protocols |
151
click to vote
EKAW
2006
Springer
15 years 9 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
162
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
154
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
160
click to vote
FPGA
2006
ACM
15 years 9 months ago
2006
ACM
A key advantage of soft processors (processors built on an FPGA programmable fabric) over hard processors is that they can be customized to suit an application program's spec...
196
click to vote
FPL
2006
Springer
15 years 9 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...