Sciweavers

4047 search results - page 94 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
IPL
2007
81views more  IPL 2007»
15 years 4 months ago
Linear-time algorithms for problems on planar graphs with fixed disk dimension
The disk dimension of a planar graph G is the least number k for which G embeds in the plane minus k open disks, with every vertex on the boundary of some disk. Useful properties ...
Faisal N. Abu-Khzam, Michael A. Langston
EC
1998
100views ECommerce» more  EC 1998»
15 years 4 months ago
Genetic Forma Recombination in Permutation Flowshop Problems
This paper analyzes different representations for permutation flowshop problems. This is done using forma analysis to assess the quality of these representations with respect to m...
Carlos Cotta, José M. Troya
DAGSTUHL
2007
15 years 6 months ago
Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms
We survey on theoretical properties and algorithms concerning the problem of solving a nonsymmetric algebraic Riccati equation, and we report on some known methods and new algorit...
Dario Andrea Bini, Bruno Iannazzo, Beatrice Meini,...
IANDC
2008
105views more  IANDC 2008»
15 years 4 months ago
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
Stéphanie Delaune, Pascal Lafourcade, Denis...
MAS
1998
Springer
145views Communications» more  MAS 1998»
15 years 8 months ago
Language Issues in Mobile Program Security
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
Dennis M. Volpano, Geoffrey Smith