3573 search results - page 555 / 715 » Reasoning about Codata |
155
click to vote
DGO
2011
14 years 3 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...
157
click to vote
ECBS
2011
IEEE
14 years 3 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 ...
209
click to vote
ECIS
2011
14 years 2 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 ...
162
click to vote
ECSA
2011
Springer
14 years 2 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...
179
click to vote
HOST
2011
IEEE
14 years 2 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...