2558 search results - page 227 / 512 » Model Composition Contracts |
126
click to vote
JCNS
2008
15 years 4 months ago
2008
Activation of NMDA receptors (NMDARs) is highly involved in the potentiation and depression of synaptic transmission. NMDARs comprise NR1 and NR2B subunits in the neonatal forebrai...
126
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
145
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
173
click to vote
RTCSA
1997
IEEE
15 years 9 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
123
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...