Sciweavers

1779 search results - page 232 / 356
» Patterns of Component Evolution
Sort
View
CAI
2002
Springer
13 years 7 months ago
A Revised Analysis of the Open Grid Services Infrastructure
This paper began its life as an unpublished technical review [20] of the proposed Open Grid Services Architecture (OGSA) as described in the papers, "The Physiology of the Gr...
Dennis Gannon, Kenneth Chiu, Madhusudhan Govindara...
IPL
2010
94views more  IPL 2010»
13 years 6 months ago
Partial model checking via abstract interpretation
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
ISVC
2010
Springer
13 years 6 months ago
Visual Network Analysis of Dynamic Metabolic Pathways
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
Markus Rohrschneider, Alexander Ullrich, Andreas K...
IPPS
2010
IEEE
13 years 5 months ago
Improving the performance of Uintah: A large-scale adaptive meshing computational framework
Abstract--Uintah is a highly parallel and adaptive multiphysics framework created by the Center for Simulation of Accidental Fires and Explosions in Utah. Uintah, which is built up...
Justin Luitjens, Martin Berzins
ENTCS
2010
118views more  ENTCS 2010»
13 years 5 months ago
Fragments-based Model Reduction: Some Case Studies
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
Jérôme Feret