Sciweavers

1236 search results - page 215 / 248
» From Conceptual Modeling to Requirements Engineering
Sort
View
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 4 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
89
Voted
IFIPTM
2010
145views Management» more  IFIPTM 2010»
14 years 10 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
104
Voted
SIGADA
2004
Springer
15 years 5 months ago
Comparative analysis of genetic algorithm implementations
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
Robert Soricone, Melvin Neville
SPLC
2008
15 years 1 months ago
Reconciling Automation and Flexibility in Product Derivation
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Je...
GCB
2004
Springer
101views Biometrics» more  GCB 2004»
15 years 5 months ago
Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
Nicole Isermann, Michael Weitzel, Wolfgang Wiecher...