5608 search results - page 899 / 1122 » On the Theory of Matchgate Computations |
133
click to vote
ESORICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
104
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
125
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....
103
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...