979 search results - page 106 / 196 » Footprints in Local Reasoning |
127
Voted
HOTOS
2003
IEEE
15 years 8 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 ...
107
Voted
ICCS
2003
Springer
15 years 8 months 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...
128
Voted
CCGRID
2002
IEEE
15 years 8 months 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 ...
119
Voted
GI
2009
Springer
15 years 8 months 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 ...
109
click to vote
HAIS
2009
Springer
15 years 8 months 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 (...