9518 search results - page 256 / 1904 » On Mobility of Software Processes |
159
click to vote
CORR
2002
Springer
15 years 6 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...
222
click to vote
METRICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
146
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
168
click to vote
IWPC
2005
IEEE
16 years 6 days ago
2005
IEEE
Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...
177
click to vote
ACISICIS
2005
IEEE
16 years 8 days ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...