1168 search results - page 59 / 234 » cases 2000 |
ECIS
2000
13 years 11 months ago
2000
Abstract - In this paper we address a question highly relevant for many companies developing and implementing ERP or other software internationally. These companies have to integra...
ESE
2000
13 years 9 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
TPHOL
2000
IEEE
14 years 2 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
GECCO
2000
Springer
14 years 1 months ago
2000
Springer
In earlier work we predicted program size would grow in the limit at a quadratic rate and up to fty generations we measured bloat O(generations1:2;1:5). On two simple benchmarks w...