9518 search results - page 324 / 1904 » On Mobility of Software Processes |
154
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Trace or chromatogram files (raw data) are produced by automatic nucleic acid sequencing equipment or sequencers. Each file contains information which can be interpret...
199
click to vote
CSI
2007
15 years 6 months ago
2007
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
175
click to vote
SIAMIS
2011
15 years 1 months ago
2011
In this article we study a continuous Primal-Dual method proposed by Appleton and Talbot and generalize it to other problems in image processing. We interpret it as an Arrow-Hurwi...
169
click to vote
TE
2010
15 years 1 months ago
2010
In this paper, an innovative educational approach to introducing undergraduates to both digital signal processing (DSP) and field programmable gate array (FPGA)-based design in a o...
203
click to vote
FOSSACS
2012
Springer
14 years 2 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...