1112 search results - page 61 / 223 » software 2002 |
107
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
108
Voted
ET
2002
15 years 2 months ago
2002
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
140
click to vote
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...
113
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
139
click to vote
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Component based software development is becoming more generalized, representing a considerable market for the software industry. The perspective of reduced development costs and s...