1124 search results - page 71 / 225 » Refined quorum systems |
171
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
176
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
140
click to vote
TCS
2008
15 years 6 months ago
2008
We apply our recent preconditioning techniques to the solution of linear systems of equations and computing determinants. We combine these techniques with the Sherman
154
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
167
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...