4349 search results - page 542 / 870 » A Comprehensive Process Model for Studying Software Process ... |
121
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This paper describes a method for separating moving objects from temporally varying background in time-lapse confocal microscopy image sequences representing fluorescently tagged ...
139
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...
146
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Human based algorithms to catch fly balls have been research and studied. In this paper, the validity of the human models are tested by catching balls that are dropped vertically...
172
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
130
click to vote
PE
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we study the problem of dynamic allocation of the resources of a general parallel processing system, comprised of M heterogeneous processors and M heterogeneous tra...