3909 search results - page 739 / 782 » Extreme Model Checking |
TKDE
2002
13 years 9 months ago
2002
On-Line Analytical Processing (OLAP) refers to the technologies that allow users to efficiently retrieve data from the data warehouse for decision-support purposes. Data warehouses...
VLDB
2002
ACM
2002
ACM
Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services
13 years 9 months ago
The J2EE platform provides a variety of options for making business data persistent using DBMS technology. However, the integration with existing backend database systems has prov...
RAS
2007
13 years 9 months ago
2007
Range measuring sensors can play an extremely important role in robot navigation. All range measuring devices rely on a ‘detection criterion’ made in the presence of noise, to...
PVLDB
2008
13 years 9 months ago
2008
The class of k Nearest Neighbor (kNN) queries is frequently used in geospatial applications. Many studies focus on processing kNN in Euclidean and road network spaces. Meanwhile, ...
JBCS
2010
13 years 8 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...