1677 search results - page 247 / 336 » An Interactive Fur Modeling Technique |
130
Voted
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
128
Voted
JACM
2002
15 years 10 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
114
Voted
VISUALIZATION
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
89
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
92
Voted
IISWC
2008
IEEE
15 years 7 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...