9412 search results - page 142 / 1883 » An aspect-oriented generative approach |
148
click to vote
ISVC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...
146
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— The third-generation (3G) wide area wireless networks and 802.11 local area wireless networks possess complementary characteristics. 3G networks promise to offer always...
167
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
149
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
In many business and consumer applications, queries have cardinality constraints. However, current database systems provide minimal support for cardinality assurance. Consequently...
195
click to vote
VLDB
2007
ACM
16 years 16 days ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...