3676 search results - page 368 / 736 » Scalable component abstractions |
189
click to vote
DSD
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
158
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Currently, there is a gap between purely theoretical studies of the topology of large bioregulatory networks and the practical traditions and interests of experimental...
207
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
146
click to vote
ENTCS
2007
15 years 7 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
168
click to vote
TOPNOC
2008
15 years 7 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...