Sciweavers

12333 search results - page 640 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
FASE
1998
Springer
15 years 11 months ago
Specifying and Analyzing Dynamic Software Architectures
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
Robert Allen, Rémi Douence, David Garlan
SOCO
2007
Springer
16 years 1 months ago
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
Dietmar Schreiner, Karl M. Göschka
FOSSACS
2009
Springer
16 years 2 months ago
Synthesis from Component Libraries
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
Yoad Lustig, Moshe Y. Vardi
KES
2007
Springer
16 years 1 months ago
Breedbot: An Edutainment Robotics System to Link Digital and Real World
The paper describes Breedbot an edutainment software and hardware system that could be used to evolve autonomous agents in digital (software) world and to transfer the evolved mind...
Orazio Miglino, Onofrio Gigliotta, Michela Pontico...
ISCAS
2006
IEEE
114views Hardware» more  ISCAS 2006»
16 years 1 months ago
System for deposition and characterization of polypyrrole/gold bilayer hinges
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
Edward Choi, Yingkai Liu, Elisabeth Smela, Andreas...