1894 search results - page 260 / 379 » A TLA Proof System |
148
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
151
click to vote
MFCS
2005
Springer
15 years 11 months ago
2005
Springer
Systems of language equations of the form {ϕ(X1, . . . , Xn) = ∅, ψ(X1, . . . , Xn) = ∅} are studied, where ϕ, ψ may contain set-theoretic operations and concatenation; the...
164
click to vote
WINE
2005
Springer
15 years 11 months ago
2005
Springer
We consider the following allocation problem arising in the setting of combinatorial auctions: a set of goods is to be allocated to a set of players so as to maximize the sum of t...
162
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...
128
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...