3446 search results - page 35 / 690 » A Reasoning Algorithm for pD* |
122
click to vote
ZUM
1998
Springer
15 years 5 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
122
click to vote
DKE
2002
15 years 1 months ago
2002
Recently, there is an interest in using associations between web pages in providing users with pages relevant to what they are currently viewing. We believe that, to enable intell...
149
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
169
click to vote
PSSE
2004
Springer
15 years 6 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
119
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...