Sciweavers

8512 search results - page 113 / 1703
» Computing Theory With Relevance
Sort
View
103
Voted
FOSSACS
2003
Springer
15 years 8 months ago
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
Matthew Hennessy, Massimo Merro, Julian Rathke
ICALP
2003
Springer
15 years 8 months ago
Generalized Rewrite Theories
Roberto Bruni, José Meseguer
78
Voted
ICCS
2003
Springer
15 years 8 months ago
Generalized Jordan Sets in the Theory of Singular Partial Differential-Operator Equations
Michael V. Falaleev, Olga A. Romanova, Nicholas A....
94
Voted
MFCS
1990
Springer
15 years 6 months ago
One-Way Functions in Complexity Theory
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
Alan L. Selman