1670 search results - page 98 / 334 » On Skolemization in constructive theories |
156
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
151
click to vote
ADBIS
1997
Springer
15 years 10 months ago
1997
Springer
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
154
click to vote
EJC
2010
15 years 6 months ago
2010
Mutually unbiased bases (MUBs) in complex vector spaces play several important roles in quantum information theory. At present, even the most elementary questions concerning the m...
165
click to vote
SIGKDD
2002
15 years 6 months ago
2002
Research in secure distributed computation, which was done as part of a larger body of research in the theory of cryptography, has achieved remarkable results. It was shown that n...
143
click to vote
JUCS
2010
15 years 4 months ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...