24421 search results - page 296 / 4885 » Communicating Complex Systems |
174
click to vote
ITA
2007
15 years 6 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
226
click to vote
TCC
2007
Springer
16 years 20 days ago
2007
Springer
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...