1299 search results - page 46 / 260 » EMC - A modeling method for developing web-based application... |
ICWE
2003
Springer
14 years 26 days ago
2003
Springer
The development process of hypermedia applications involves a variety of users with different levels of knowledge and skills. In order to get a good communication among participa...
CISS
2010
IEEE
12 years 11 months ago
2010
IEEE
— Laser scanners are rapidly gaining acceptance as a tool for three dimensional (3D) modeling and analysis in the architecture, engineering, and construction (AEC) domain. Since ...
GRAPHICSINTERFACE
2008
13 years 9 months ago
2008
In this paper, we present a single-pass technique to voxelize the interior of watertight 3D models with high resolution grids in realtime during a single rendering pass. Further, ...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
Hierarchical models have been extensively studied in various domains. However, existing models assume fixed model structures or incorporate structural uncertainty generatively. In...
NFM
2011
13 years 2 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...