3710 search results - page 216 / 742 » A new calculus of contexts |
168
click to vote
CASCON
1996
15 years 8 months ago
1996
This paper de nes three levels of requirements for adequate code-based class testing, examining the eectiveness of traditional testing criteria in the context of object-oriented (...
183
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
160
click to vote
JOT
2007
15 years 7 months ago
2007
In this paper, we introduce and describe directed dependency graph-based transaction and concurrency control (DCC) for persistent (stable, single-level) object-based bulk data man...
159
click to vote
EWC
2000
15 years 7 months ago
2000
Evolutionary computation is emerging as a new engineering computational paradigm, which may significantly change the present structural design practice. For this reason, an extens...
168
click to vote
JC
2002
15 years 7 months ago
2002
Exclusion algorithms are a well-known tool in the area of interval analysis for finding all solutions of a system of nonlinear equations or for finding the global minimum of a fun...