1636 search results - page 219 / 328 » Reasoning About Quantum Systems |
171
click to vote
INFSOF
2002
15 years 6 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
150
click to vote
RE
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
260
click to vote
ECIS
2011
14 years 6 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 ...
137
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
147
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...