10038 search results - page 1529 / 2008 » Model Checking for Managers |
172
click to vote
ACSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
192
click to vote
ISCA
2003
IEEE
16 years 2 days ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
227
click to vote
DBPL
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
239
click to vote
HUMAN
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
274
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...