7106 search results - page 243 / 1422 » Restricted Complexity, General Complexity |
128
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
126
click to vote
ELPUB
2000
ACM
15 years 8 months ago
2000
ACM
XML is an SGML-based language designed for the interchange of documents with more flexible and powerful features than those provided by HTML. It can be considered as an intermedia...
145
click to vote
PODS
2000
ACM
15 years 8 months ago
2000
ACM
We study the problem of auditing databases which support statistical sum queries to protect the security of sensitive information; we focus on the special case in which the sensit...
163
click to vote
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
150
click to vote
FCT
1999
Springer
15 years 8 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...