Sciweavers

1527 search results - page 36 / 306
» From Requirements to Design: Formalizing the Key Steps
Sort
View
DATE
2008
IEEE
85views Hardware» more  DATE 2008»
14 years 2 months ago
Video Processing Requirements on SoC Infrastructures
Applications from the embedded consumer domain put challenging requirements on SoC infrastructures, i.e. interconnect and memory. Specifically, video applications demand large sto...
Pieter van der Wolf, Tomas Henriksson
FIW
2007
123views Communications» more  FIW 2007»
13 years 9 months ago
Composing Features by Managing Inconsistent Requirements
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
Robin C. Laney, Thein Than Tun, Michael Jackson, B...
APAQS
2000
IEEE
14 years 4 days ago
A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
Claudia Pons, Maximo Prieto, Luis Olsina
GECCO
2005
Springer
149views Optimization» more  GECCO 2005»
14 years 1 months ago
There's more to a model than code: understanding and formalizing in silico modeling experience
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
Janet Wiles, Nicholas Geard, James Watson, Kai Wil...
IJBC
2006
93views more  IJBC 2006»
13 years 7 months ago
Some Basic Cryptographic Requirements for Chaos-Based Cryptosystems
In recent years, a large amount of work on chaos-based cryptosystems have been published. However many of the proposed schemes fail to explain or do not possess a number of featur...
Gonzalo Álvarez, Shujun Li