10159 search results - page 422 / 2032 » System Design Validation Using Formal Models |
139
Voted
APIN
2004
15 years 4 months ago
2004
In this paper we present a new technique to simulate polymer blends that overcomes the shortcomings in polymer system modeling. This method has an inherent advantage in that the v...
123
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
141
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
120
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 ...
152
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Signal transduction events often involve transient, yet specific, interactions between structurally conserved protein domains and polypeptide sequences in target prote...