840 search results - page 45 / 168 » Modelling Functional Requirements in Spatial Design |
SOFSEM
2007
Springer
14 years 2 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
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...
PG
2002
IEEE
14 years 1 months ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
SIAMAM
2011
13 years 3 months ago
2011
Trace gas sensors that are compact and portable are being deployed for use in a variety of applications including disease diagnosis via breath analysis, monitoring of atmospheric p...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...