1655 search results - page 212 / 331 » Visual tool for generative programming |
129
click to vote
TSE
2010
15 years 25 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
123
click to vote
WCRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Software inspection is a known technique for improving software quality. It involves carefully examining the code, the design, and the documentation of software and checking these...
126
click to vote
WSCG
2004
15 years 3 months ago
2004
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
3DPVT
2004
IEEE
15 years 6 months ago
2004
IEEE
Experimental structure analysis of biological molecules (e.g, proteins) or macromolecular complexes (e.g, viruses) can be used to generate three-dimensional density maps of these e...
131
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...