1636 search results - page 271 / 328 » Reasoning About Quantum Systems |
174
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Dwell time on Web pages has been extensively used for various information retrieval tasks. However, some basic yet important questions have not been sufficiently addressed, e.g., ...
147
click to vote
EUROMICRO
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
148
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
172
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
144
click to vote
SDB
1995
15 years 9 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...