12193 search results - page 397 / 2439 » It's not all about |
171
click to vote
CAI
2009
Springer
16 years 1 months ago
2009
Springer
The aim of this paper is to collect definitions and results on the main classes of 2D languages introduced with the attempt of generalizing regular and context-free string languag...
159
Voted
IMA
2009
Springer
16 years 1 months ago
2009
Springer
The Rayleigh quotient of a bent function is an invariant under the action of the orthogonal group, and it measures the distance of the function to its dual. An efficient algorithm ...
175
Voted
RP
2009
Springer
16 years 1 months ago
2009
Springer
In [13], Yen defines a class of formulas for paths in Petri nets and claims that its satisfiability problem is EXPSPACE-complete. In this paper, we show that in fact the satisfi...
156
click to vote
IMA
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, a study of a paradigm for domain expansion of MACs is generalized. In particular, a tradeoff between the efficiency of a MAC and the tightness of its security reduc...
187
click to vote
ECBS
2003
IEEE
16 years 3 days ago
2003
IEEE
Autonomic Computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are selfconfiguring, self-healing, se...