24529 search results - page 636 / 4906 » Computing on Authenticated Data |
204
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
203
click to vote
HIPEAC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. High end routers are targeted at providing worst case throughput guarantees over latency. Caches on the other hand are meant to help latency not throughput in a tradition...
205
click to vote
ICCS
2005
Springer
16 years 22 days ago
2005
Springer
In order to supply a growing tissue with oxygen and nutrients and to remove its metabolic wastes, blood vessels penetrating the tissue are formed. Multiple mechanisms are involved ...
236
click to vote
SFM
2005
Springer
16 years 21 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
202
click to vote
SC
2004
ACM
16 years 19 days ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...