7623 search results - page 1311 / 1525 » Constructive Volume Modeling |
173
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we formalize the notion of a ring signature, which makes it possible to specify a set of possible signers without revealing which member actually produced the signatu...
171
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
226
click to vote
OOPSLA
2001
Springer
15 years 11 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
158
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
156
click to vote
COOPIS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...