222 search results - page 16 / 45 » PCLOS: A Critical Review |
SIGADA
2005
Springer
14 years 29 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
DICTA
2003
13 years 9 months ago
2003
In this paper we review a number of approaches to reducing, or removing, the problem of shift variance in the discrete wavelet transform (DWT). We describe a generalization of the ...
FTNET
2007
13 years 7 months ago
2007
Network coding is an elegant and novel technique introduced at the turn of the millennium to improve network throughput and performance. It is expected to be a critical technology...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Many engineering optimization tasks involve finding more than one optimum solution. The present study provides a comprehensive review of the existing work done in the field of mul...
ALIFE
2004
13 years 7 months ago
2004
The contribution of the theory of autopoiesis to the definition of life and biological theory affirms biological autonomy as a central notion of scientific and philosophical inquir...