2969 search results - page 452 / 594 » The Case for User-Centered CASE Tools |
204
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
175
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
181
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
176
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...
187
click to vote
MOBICOM
2003
ACM
15 years 11 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...