2638 search results - page 430 / 528 » A Framework for Automatic Debugging |
119
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
The ability to dynamically adapt an unstructured grid (or mesh) is a powerful tool for solving computational problems with evolving physical features; however, an efficient parall...
127
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
131
click to vote
WEBDB
1999
Springer
15 years 5 months ago
1999
Springer
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
100
click to vote
VISUALIZATION
1998
IEEE
15 years 5 months ago
1998
IEEE
We introduce a new approach for mapping texture on volumetric iso-surfaces and parametric surfaces. Our approach maps 2D images on surfaces while maintaining continuity and preser...
133
click to vote
WETICE
1998
IEEE
15 years 5 months ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...