7167 search results - page 1074 / 1434 » A Technique for Invariant Generation |
170
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
200
click to vote
SI3D
2005
ACM
16 years 1 months ago
2005
ACM
Impostors are image-based primitives commonly used to replace complex geometry in order to reduce the rendering time needed for displaying complex scenes. However, a big problem i...
201
click to vote
SMA
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we propose a novel shape interpolation approach based on Poisson equation. We formulate the trajectory problem of shape interpolation as solving Poisson equations d...
221
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
XQBE (XQuery By Example, [1]), a visual dialect of XQuery, uses hierarchical structures to express transformations between XML documents. XSLT, the standard transformation languag...
216
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...