7213 search results - page 325 / 1443 » Automated model grouping |
186
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
287
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...
160
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
189
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
171
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...