308 search results - page 6 / 62 » MpPVM: A Software System for Non-Dedicated Heterogeneous Com... |
CACM
2010
14 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
87
Voted
INFORMATIKTAGE
2008
14 years 11 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
CISIS
2010
IEEE
2010
IEEE
Computational Grid as an Appropriate Infrastructure for Ultra Large Scale Software Intensive Systems
15 years 4 months ago
—Ultra large scale (ULS) systems are future software intensive systems that have billions of lines of code, composed of heterogeneous, changing, inconsistent and independent elem...
68
Voted
EWSPT
2001
Springer
15 years 2 months ago
2001
Springer
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
PRDC
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...