Sciweavers

4586 search results - page 104 / 918
» Computing stable models in parallel
Sort
View
IPPS
2007
IEEE
15 years 9 months ago
Dependability Modeling and Analysis in Dynamic Systems
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
Salvatore Distefano, Antonio Puliafito
88
Voted
ICS
2010
Tsinghua U.
15 years 6 months ago
Quantifying performance benefits of overlap using MPI-2 in a seismic modeling application
Sreeram Potluri, Ping Lai, Karen A. Tomko, Sayanta...
SPIN
2007
Springer
15 years 8 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
118
Voted
CCGRID
2010
IEEE
15 years 3 months ago
A Categorisation of Cloud Computing Business Models
- This paper reviews current cloud computing business models and presents proposals on how organisations can achieve sustainability by adopting appropriate models. We classify clou...
Victor Chang, David A. Bacigalupo, Gary Wills, Dav...
COLCOM
2008
IEEE
15 years 4 months ago
RiBAC: Role Interaction Based Access Control Model for Community Computing
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
Youna Jung, Amirreza Masoumzadeh, James B. D. Josh...