2881 search results - page 531 / 577 » Model Checking for Programming Languages using Verisoft |
110
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
127
click to vote
ICALP
2007
Springer
15 years 8 months ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
136
click to vote
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
133
click to vote
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
110
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...