1825 search results - page 324 / 365 » Decision Support System on the Grid |
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
SIGMOD
2001
ACM
14 years 7 months ago
2001
ACM
Materialized views have been found to be very effective at speeding up queries, and are increasingly being supported by commercial databases and data warehouse systems. However, w...
IV
2009
IEEE
14 years 2 months ago
2009
IEEE
Interactive 3D geovirtual environments (GeoVE), such as 3D virtual city and landscape models, are important tools to communicate geo-spatial information. Usually, this includes st...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Projects are the executors of organizational change and hence in charge of the managed evolution of the application landscape in the context of enterprise architecture (EA) managem...
ICCBR
2009
Springer
14 years 2 months ago
2009
Springer
Maritime assets such as merchant and navy ships, ports, and harbors, are targets of terrorist attacks as evidenced by the USS Cole bombing. Conventional methods of securing maritim...