4814 search results - page 434 / 963 » Combining abstract interpreters |
181
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
150
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Over the past few years we have witnessed steady progress toward convergence in communications. We believe we are now witnessing nce beyond just media transport. Further, abstract ...
162
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. We consider the problem of accurately estimating the number of approximate XML answers for a given query, and propose an efficient method that (1) accurately computes sel...
189
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
151
click to vote
ECOOPW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This report summarizes the results of the workshop on evolution and reuse for language specifications for DSLs. The focus of the workshop was twofold: exploration of the ...