3428 search results - page 389 / 686 » Making the Case |
200
click to vote
EAGC
2004
Springer
16 years 3 days ago
2004
Springer
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...
174
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Distributed constraint satisfaction, in its most general acceptation, involves a collection of agents solving local constraint satisfaction subproblems, and a communication protoco...
156
click to vote
ESA
2004
Springer
16 years 3 days ago
2004
Springer
The algorithms of computational geometry are designed for a machine model with exact real arithmetic. Substituting floating-point arithmetic for the assumed real arithmetic may c...
207
click to vote
FSE
2004
Springer
16 years 3 days ago
2004
Springer
Symmetric encryption schemes are usually formalized so as to make the encryption operation a probabilistic or state-dependent function E of the message M and the key K: the user su...
164
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...