Sciweavers

2041 search results - page 52 / 409
» Modelling Generic Judgements
Sort
View
DOCENG
2010
ACM
15 years 16 min ago
Diffing, patching and merging XML documents: toward a generic calculus of editing deltas
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
Jean-Yves Vion-Dury
124
Voted
FOSSACS
2003
Springer
15 years 7 months ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan
88
Voted
ICC
2009
IEEE
15 years 11 days ago
Second Order Statistics of Non-Isotropic Mobile-to-Mobile Ricean Fading Channels
This paper develops a generic geometry-based stochastic model for mobile-to-mobile (M2M) Ricean fading channels. From the generic model, the level crossing rate (LCR) and average f...
Xiang Cheng, Cheng-Xiang Wang, David I. Laurenson,...
147
Voted
VL
2000
IEEE
118views Visual Languages» more  VL 2000»
15 years 7 months ago
Towards Generic Rule-Based Visual Programming
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
Berthold Hoffmann, Mark Minas
ACNS
2010
Springer
187views Cryptology» more  ACNS 2010»
15 years 6 months ago
Generic Constructions for Verifiably Encrypted Signatures without Random Oracles or NIZKs
Verifiably encrypted signature schemes (VES) allow a signer to encrypt his or her signature under the public key of a trusted third party, while maintaining public signature verifi...
Markus Rückert, Michael Schneider 0002, Domin...