Sciweavers

12670 search results - page 2056 / 2534
» Requirements Modeling
Sort
View
GECCO
2007
Springer
211views Optimization» more  GECCO 2007»
16 years 1 months ago
Multi-objective univariate marginal distribution optimisation of mixed analogue-digital signal circuits
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...
Lyudmila Zinchenko, Matthias Radecker, Fabio Bisog...
GECCO
2007
Springer
230views Optimization» more  GECCO 2007»
16 years 1 months ago
Activation energy-based simulation for self-assembly of multi-shape tiles
Building artificial systems using self-assembly is one of the main issues of artificial life [17]. Scientists are trying to understand this process either using experimental appro...
Mostafa Mostafa Hashim Ellabaan
GPCE
2007
Springer
16 years 1 months ago
Oz/K: a kernel language for component-based open programming
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stef...
HOLOMAS
2007
Springer
16 years 1 months ago
A Holonic Metamodel for Agent-Oriented Analysis and Design
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
Massimo Cossentino, Nicolas Gaud, Stéphane ...
ICALP
2007
Springer
16 years 1 months ago
Checking and Spot-Checking the Correctness of Priority Queues
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
Matthew Chu, Sampath Kannan, Andrew McGregor
« Prev « First page 2056 / 2534 Last » Next »