2969 search results - page 452 / 594 » The Case for User-Centered CASE Tools |
217
click to vote
PG
2003
IEEE
16 years 7 days 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...
190
click to vote
TPHOL
2003
IEEE
16 years 7 days 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. ...
197
Voted
WCRE
2003
IEEE
16 years 7 days 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 ...
189
Voted
WECWIS
2003
IEEE
16 years 7 days 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...
199
Voted
MOBICOM
2003
ACM
16 years 6 days 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...