1757 search results - page 16 / 352 » Alternating Refinement Relations |
105
Voted
APPML
2010
14 years 10 months ago
2010
Some new results that provide refinements and reverses of the Cauchy-Bunyakovsky-Schwarz (CBS) -inequality in the general setting of Measure Theory and under some boundedness condi...
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
105
Voted
SP
1991
IEEE
15 years 4 months ago
1991
IEEE
In this paper we give a new decomposition algorithm that breaks a multilevel relation into single-level relations and a new recovery algorithmwhich reconstructs the original multi...
138
Voted
CIBSE
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
105
click to vote
FMLDO
1993
Springer
15 years 4 months ago
1993
Springer
The performance of object reassembly, notably the most expensive operation andthereforemainlydeterminingtheoverallperformance, is clearly crucial for the success of object-oriente...