1965 search results - page 317 / 393 » On the analysis of interacting pushdown systems |
SIAMCO
2010
13 years 3 months ago
2010
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
CSMR
2000
IEEE
14 years 1 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
KDD
2002
ACM
14 years 9 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
HPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...