940 search results - page 103 / 188 » Local rely-guarantee reasoning |
99
Voted
CCGRID
2002
IEEE
15 years 5 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 ...
92
Voted
GI
2009
Springer
15 years 5 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 ...
90
Voted
HAIS
2009
Springer
15 years 5 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 (...
124
Voted
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
108
Voted
SIGGRAPH
2000
ACM
15 years 5 months ago
2000
ACM
Subdivision surfaces solve numerous problems related to the geometry of character and animation models. However, unlike on parametrised surfaces there is no natural choice of text...