Sciweavers

4897 search results - page 211 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
SPIN
2000
Springer
15 years 10 months ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
CW
2003
IEEE
15 years 11 months ago
Development of a recommendation system with multiple subjective evaluation process models
Current BtoC recommendation services utilize consumers’ purchased log as criteria for selecting information, yet it includes little information of the reason why he bought the i...
Emi Yano, Emi Sueyoshi, Isao Shinohara, Toshikazu ...
IPPS
2002
IEEE
15 years 11 months ago
Model-Based Control of Adaptive Applications: An Overview
Model-based control utilizes performance models of applications to choose performant system configurations for execution of applications. The performance models used in this resea...
Vikram S. Adve, Afolami Akinsanmi, James C. Browne...
DAC
2007
ACM
16 years 7 months ago
Computationally Efficient Power Integrity Simulation for System-on-Package Applications
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
Krishna Bharath, Ege Engin, Madhavan Swaminathan, ...
HCW
2000
IEEE
15 years 10 months ago
Master/Slave Computing on the Grid
Resource selection is fundamental to the performance of master/slave applications. In this paper, we address the problem of promoting performance for distributed master/slave appl...
Gary Shao, Francine Berman, Richard Wolski