7811 search results - page 1204 / 1563 » computing 2004 |
139
click to vote
DSOM
2004
Springer
15 years 10 months ago
2004
Springer
Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits such as Globus support advanc...
139
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
142
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
188
click to vote
ISW
2004
Springer
15 years 10 months ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...
178
click to vote
ITRUST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...