6829 search results - page 155 / 1366 » Quantitative Generalizations of Languages |
129
click to vote
SIAMCOMP
2008
15 years 3 months ago
2008
We investigate structural properties of interactive perfect zero-knowledge (PZK) proofs. Specifically, we look into the closure properties of PZK languages under monotone boolean ...
142
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
230
click to vote
ICALT
2009
IEEE
15 years 11 months ago
2009
IEEE
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...
135
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
130
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...