1124 search results - page 19 / 225 » Refined quorum systems |
116
Voted
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
ENTCS
2008
15 years 1 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
137
click to vote
ICCAD
2007
IEEE
15 years 5 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
119
Voted
VAMOS
2010
Springer
15 years 3 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
116
Voted
FLAIRS
1998
15 years 3 months ago
1998
To ensure that Expert System (ES) performance remains above the level of acceptance throughout the entire life cycle of the system, its knowledge base must periodically be updated...