Sciweavers

2741 search results - page 141 / 549
» Designing Law-Compliant Software Requirements
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 10 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
BMCBI
2005
107views more  BMCBI 2005»
15 years 6 months ago
ProbeMaker: an extensible framework for design of sets of oligonucleotide probes
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
Johan Stenberg, Mats Nilsson, Ulf Landegren
VISUALIZATION
1997
IEEE
15 years 10 months ago
GADGET: goal-oriented application design guidance for modular visualization environments
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...
Issei Fujishiro, Yuriko Takeshima, Yoshihiko Ichik...
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
15 years 7 months ago
Evolutionary swarm design of architectural idea models
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
Sebastian von Mammen, Christian Jacob
ICDCS
1990
IEEE
15 years 10 months ago
A Constructive Approach to the Design of Distributed Systems
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
Jeff Kramer, Jeff Magee, Anthony Finkelstein