Sciweavers

1307 search results - page 74 / 262
» Follow the intellectual property
Sort
View
APAL
1998
71views more  APAL 1998»
15 years 1 months ago
On the Finiteness of the Recursive Chromatic Number
A recursive graph is a graph whose vertex and edges sets are recursive. A highly recursive graph is a recursive graph that also has the following property: one can recursively det...
William I. Gasarch, Andrew C. Y. Lee
PKC
2012
Springer
235views Cryptology» more  PKC 2012»
13 years 3 months ago
Improved Security for Linearly Homomorphic Signatures: A Generic Framework
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...
David Mandell Freeman
SSS
2009
Springer
163views Control Systems» more  SSS 2009»
15 years 8 months ago
Developing Autonomic and Secure Virtual Organisations with Chemical Programming
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
Alvaro E. Arenas, Jean-Pierre Banâtre, Thier...
LATIN
2010
Springer
15 years 8 months ago
Radix Cross-Sections for Length Morphisms
We prove that the radix cross-section of a rational set for a length morphism, and more generally for a rational function from a free monoid into N, is rational, a property that d...
Sylvain Lombardy, Jacques Sakarovitch
103
Voted
ICALP
2007
Springer
15 years 7 months ago
A Combinatorial Theorem for Trees
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
Thomas Colcombet