Sciweavers

7027 search results - page 173 / 1406
» Software process: a roadmap
Sort
View
CSI
2007
96views more  CSI 2007»
14 years 11 months ago
A common criteria based security requirements engineering process for the development of secure information systems
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
Daniel Mellado, Eduardo Fernández-Medina, M...
SIAMIS
2011
14 years 6 months ago
Continuous Primal-Dual Methods for Image Processing
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...
M. Goldman
TE
2010
102views more  TE 2010»
14 years 6 months ago
An Undergraduate Course and Laboratory in Digital Signal Processing With Field Programmable Gate Arrays
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...
Uwe Meyer-Bäse, G. Alonzo Vera, Anke Meyer-B&...
FOSSACS
2012
Springer
13 years 7 months ago
Functions as Session-Typed Processes
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...
Bernardo Toninho, Luís Caires, Frank Pfenni...
RE
2004
Springer
15 years 5 months ago
From Goals to Aspects: Discovering Aspects from Requirements Goal Models
Aspect-oriented programming (AOP) has been attracting much attention in the Software Engineering community by advocating that programs should be structured according to programmer...
Yijun Yu, Julio Cesar Sampaio do Prado Leite, John...