687 search results - page 130 / 138 » Specification and Verification of Model Transformations Usin... |
PG
2003
IEEE
14 years 2 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...
EDOC
2004
IEEE
14 years 16 days ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
BIS
2009
13 years 10 months ago
2009
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
TITB
2008
13 years 8 months ago
2008
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...