2864 search results - page 247 / 573 » Geo Linked Data |
143
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
163
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
134
click to vote
EWSPT
1998
Springer
15 years 10 months ago
1998
Springer
Established simulation techniques require quantification of relevant aspects of the entity whose behaviour is being investigated. The data expressing the quantification provides a ...
210
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The problem of efficiently evaluating XPath and XQuery queries has become increasingly significant since more and more XML data is stored in its native form. We propose a novel op...
155
click to vote
WSC
2007
15 years 9 months ago
2007
Delays in the check-in system at an airport vary with times of the day, day of the week, and types of check-in modes chosen by the passengers. Extensive data collection of the che...