Sciweavers

2813 search results - page 136 / 563
» Formalizing Architectural Connection
Sort
View
167
Voted
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
15 years 6 months ago
Emergent architecture in self organized swarm systems for military applications
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
Dustin J. Nowak, Gary B. Lamont, Gilbert L. Peters...
120
Voted
ICANN
2007
Springer
15 years 11 months ago
A Marker-Based Model for the Ontogenesis of Routing Circuits
Abstract. We present a model for the ontogenesis of information routing architectures in the brain based on chemical markers guiding axon growth. The model produces all-to-all conn...
Philipp Wolfrum, Christoph von der Malsburg
142
Voted
DATE
2005
IEEE
144views Hardware» more  DATE 2005»
15 years 10 months ago
Context Sensitive Performance Analysis of Automotive Applications
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
Jan Staschulat, Rolf Ernst, Andreas Schulze, Fabia...
172
Voted
FASE
2004
Springer
15 years 8 months ago
Translating Software Designs for Model Checking
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
Fei Xie, Vladimir Levin, Robert P. Kurshan, James ...
163
Voted
SEKE
1995
Springer
15 years 8 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis