2576 search results - page 270 / 516 » The Complexity of Zero Knowledge |
172
click to vote
RSFDGRC
2005
Springer
16 years 4 days ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
185
click to vote
SPIRE
2005
Springer
16 years 4 days ago
2005
Springer
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...
184
click to vote
TCGOV
2005
Springer
16 years 4 days ago
2005
Springer
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...
158
click to vote
UC
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is ...
199
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...