2488 search results - page 487 / 498 » An improvement in formal verification |
109
click to vote
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
101
click to vote
EUROPKI
2006
Springer
15 years 4 months ago
2006
Springer
Ring signature is a group-oriented signature in which the signer can spontaneously form a group and generate a signature such that the verifier is convinced the signature was gener...
115
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
102
click to vote
KR
2000
Springer
15 years 4 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
103
click to vote
SIGMETRICS
1997
ACM
15 years 4 months ago
1997
ACM
One of the open questions in the design of multimedia storage servers is in what order to serve incoming requests. Given the capability provided by the disk layout and scheduling ...