Sciweavers

3153 search results - page 371 / 631
» Programming the Grid: Component Systems for Distributed Appl...
Sort
View
C5
2009
IEEE
15 years 9 months ago
Lively Fabrik
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empower...
Jens Lincke, Robert Krahn, Dan Ingalls, Robert Hir...
SC
2005
ACM
15 years 10 months ago
Bridging the Macro and Micro: A Computing Intensive Earthquake Study Using Discovery Net
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
Yike Guo, Jian Guo Liu, Moustafa Ghanem, Kyran Mis...
IPPS
2007
IEEE
15 years 10 months ago
Taking Advantage of Collective Operation Semantics for Loosely Coupled Simulations
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...
Joe Shang-Chieh Wu, Alan Sussman
ECOOPW
2006
Springer
15 years 8 months ago
Program Analysis for Security and Privacy
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
Marco Pistoia, Francesco Logozzo
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 8 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...