5015 search results - page 324 / 1003 » Model Checking a Path |
182
click to vote
WEBDB
2000
Springer
15 years 10 months ago
2000
Springer
Rewriting queries using views is a powerful technique that has applications in data integration, data warehousing and query optimization. Query rewriting in relational databases i...
142
click to vote
COR
2007
15 years 6 months ago
2007
An NP-hard production–distribution problem for one product over a multi-period horizon is investigated. The aim is to minimize total cost taking production setups, inventory lev...
209
click to vote
DKE
2007
15 years 6 months ago
2007
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...
214
click to vote
SOPR
1998
15 years 6 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
187
click to vote
EJWCN
2010
15 years 1 months ago
2010
A Mobile Ad Hoc Network (MANET) is characterized by the lack of any infrastructure, absence of any kind of centralized administration, frequent mobility of nodes, network partitio...