1124 search results - page 14 / 225 » Refined quorum systems |
101
click to vote
COMPOS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
101
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...
139
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
128
click to vote
ICSR
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
82
Voted
FLAIRS
2004
15 years 3 months ago
2004
There exists no methodical standard for conflict analysis in the selection of optimal rule refinements. Current rule base refinement systems select the best rule refinements out o...