Sciweavers

2021 search results - page 190 / 405
» COCO: Composition Model and Composition Model Implementation
Sort
View
JCNS
2008
59views more  JCNS 2008»
15 years 6 months ago
A model for synaptic development regulated by NMDA receptor subunit expression
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...
Shigeru Kubota, Tatsuo Kitajima
DSN
2008
IEEE
16 years 28 days ago
Architectural dependability evaluation with Arcade
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
RTCSA
1997
IEEE
15 years 10 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
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...
Jang-Soo Lee, Sung Deok Cha
DEBS
2007
ACM
15 years 10 months ago
Architect's dream or developer's nightmare?
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...
Gregor Hohpe
CBSE
2006
Springer
15 years 10 months ago
Defining and Checking Deployment Contracts for Software Components
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
Kung-Kiu Lau, Vladyslav Ukis