1757 search results - page 16 / 352 » Alternating Refinement Relations |
APPML
2010
13 years 8 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
14 years 1 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...
SP
1991
IEEE
14 years 1 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...
CIBSE
2008
ACM
13 years 11 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...
FMLDO
1993
Springer
14 years 1 months ago
1993
Springer
The performance of object reassembly, notably the most expensive operation andthereforemainlydeterminingtheoverallperformance, is clearly crucial for the success of object-oriente...