3379 search results - page 353 / 676 » Combinators for Interaction Nets |
204
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
162
click to vote
FQAS
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on a grammar-based approach to semantic interpretation, which combines the notions of robust and weighted parsing. In restricted domains of application in infor...
167
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
163
click to vote
VECPAR
2000
Springer
15 years 10 months ago
2000
Springer
A dynamic domain decomposition strategy is proposed for the effective parallel implementation of combined finite/discrete element approaches for problems involving multi-fracture a...
174
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...