1636 search results - page 19 / 328 » Reasoning About Quantum Systems |
118
click to vote
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
160
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
126
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
114
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
105
click to vote
SBIA
2004
Springer
15 years 7 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...