1760 search results - page 217 / 352 » Program Analysis Using Weighted Pushdown Systems |
162
click to vote
IDA
1999
Springer
15 years 9 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
135
click to vote
COCO
2007
Springer
15 years 11 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
150
click to vote
ACSD
2008
IEEE
15 years 11 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
169
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
137
click to vote
ISTA
2003
15 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...