Sciweavers

2813 search results - page 40 / 563
» Formalizing Architectural Connection
Sort
View
ACSC
2005
IEEE
14 years 3 months ago
A Formal Approach to Component Adaptation and Composition
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
David Hemer
IJBC
2002
65views more  IJBC 2002»
13 years 9 months ago
On the Templates Corresponding to Cycle-Symmetric Connectivity in Cellular Neural Networks
In the architecture of cellular neural networks (CNN), connections among cells are built on linear coupling laws. These laws are characterized by the so-called templates which exp...
Chih-Wen Shih, Chih-Wen Weng
CEAS
2007
Springer
14 years 3 months ago
A Case for a Spam-Aware Mail Server Architecture
The current mail server architecture spawns a new process upon every new connection it receives. The new process deals with the handling of the mail from accepting “Helo” info...
Abhinav Pathak, Sabyasachi Roy, Y. Charlie Hu
MEMOCODE
2008
IEEE
14 years 4 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
PUK
2003
13 years 11 months ago
Modeling in an Architectural Variability Description Language
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
Theo Dirk Meijler, Silvie Schoenmaker, Egbert de R...