979 search results - page 106 / 196 » Footprints in Local Reasoning |
HOTOS
2003
IEEE
14 years 1 months ago
2003
IEEE
Peer-to-peer storage aims to build large-scale, reliable and available storage from many small-scale unreliable, low-availability distributed hosts. Data redundancy is the key to ...
ICCS
2003
Springer
14 years 28 days ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
CCGRID
2002
IEEE
14 years 21 days ago
2002
IEEE
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
GI
2009
Springer
14 years 10 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
HAIS
2009
Springer
14 years 10 days ago
2009
Springer
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...