Sciweavers

28962 search results - page 59 / 5793
» Computational Mechanism Design
Sort
View
CCGRID
2001
IEEE
14 years 2 months ago
Sabotage-Tolerance Mechanisms for Volunteer Computing Systems
In this paper, we address the new problem of protecting volunteer computing systems from malicious volunteers who submit erroneous results by presenting sabotagetolerance mechanis...
Luis F. G. Sarmenta
CONCUR
1989
Springer
14 years 2 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
ISPA
2007
Springer
14 years 5 months ago
A Resource Discovery and Allocation Mechanism in Large Computational Grids for Media Applications
There has been significant effort to build high throughput computing systems out of many distributed multimedia servers. These systems should accommodate a larger number of servers...
Chun-Fu Lin, Ruay-Shiung Chang
ICCS
2004
Springer
14 years 4 months ago
Dynamic-Data-Driven Real-Time Computational Mechanics Environment
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
John Michopoulos, Charbel Farhat, Elias N. Houstis