Sciweavers

3824 search results - page 394 / 765
» Geometry Constructions Language
Sort
View
ML
2007
ACM
122views Machine Learning» more  ML 2007»
15 years 5 months ago
Status report: hot pickles, and how to serve them
The need for flexible forms of serialisation arises under many circumstances, e.g. for doing high-level inter-process communication or to achieve persistence. Many languages, inc...
Andreas Rossberg, Guido Tack, Leif Kornstaedt
JLP
2008
121views more  JLP 2008»
15 years 4 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
KBSE
2010
IEEE
15 years 4 months ago
Variability modeling in the real: a perspective from the operating systems domain
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
Thorsten Berger, Steven She, Rafael Lotufo, Andrze...
175
Voted
COLING
2010
15 years 1 months ago
Automated Translation of Semantic Relationships
We present a method for translating semantic relationships between languages where relationships are defined as pattern clusters. Given a pattern set which represents a semantic r...
Dmitry Davidov, Ari Rappoport
CRYPTO
2009
Springer
109views Cryptology» more  CRYPTO 2009»
16 years 21 days ago
Randomizable Proofs and Delegatable Anonymous Credentials
We construct an efficient delegatable anonymous credentials system. Users can anonymously and unlinkably obtain credentials from any authority, delegate their credentials to other ...
Mira Belenkiy, Jan Camenisch, Melissa Chase, Marku...