3653 search results - page 484 / 731 » On Recognizable Timed Languages |
218
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
116
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
150
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
: Constructing a certification path is the mainly method of validating a certificate at given time. The established path will consist of all the valid certificates that reside betw...
150
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
—Orthogonal variable spreading factor (OVSF) codes are used in both universal terrestrial radio access–frequency division duplex (UTRA-FDD) and time division duplex (UTRA-TDD) ...
153
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...