1636 search results - page 202 / 328 » Reasoning About Quantum Systems |
147
click to vote
GROUP
2003
ACM
15 years 11 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
182
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
163
click to vote
EGOV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As the e-government domain is about to become a field of application for Semantic Web technologies, the actors involved still lack reasoning to decide on critical issues ...
164
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
146
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...