4595 search results - page 802 / 919 » Reasoning about Plans |
CSFW
2011
IEEE
12 years 8 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
DGO
2011
12 years 8 months ago
2011
Many have enthusiastically greeted the ability to search and view public records online as a great advance for transparency and accountability. Such ability, however, also creates...
ECBS
2011
IEEE
12 years 8 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
ECIS
2011
12 years 8 months ago
2011
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
ECSA
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...