68 search results - page 2 / 14 » Gauss: A Framework for Verifying Scientific Computing Softwa... |
ESCIENCE
2007
IEEE
13 years 8 months ago
2007
IEEE
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
ACSC
2004
IEEE
13 years 8 months ago
2004
IEEE
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
ITSSA
2006
13 years 4 months ago
2006
: The software industry is faced with the fast growing complexity of IT infrastructures. This makes manual administration increasingly difficult and appears to be the limiting fact...
SOCRATES
2008
13 years 6 months ago
2008
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
SC
2005
ACM
13 years 10 months ago
2005
ACM
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. H...