16218 search results - page 424 / 3244 » Standards |
149
click to vote
EUROPKI
2004
Springer
16 years 14 days ago
2004
Springer
The security-mediated approach to PKI offers several advantages, such as instant revocation and compatibility with standard RSA tools. In this paper, we present a design and protot...
153
click to vote
GI
2004
Springer
16 years 14 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
171
click to vote
ICALP
2004
Springer
16 years 14 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
136
click to vote
ICCS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
173
click to vote
ICCS
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Lately, grid research has focused its attention on interoperability and standards, such as Grid Services, in order to facilitate resource virtualization, and to accommoda...